From 00ad497494c499f7583cab749bab478c9ab9ee92 Mon Sep 17 00:00:00 2001
From: Nicolas Pierron <nicolas.b.pierron@gmail.com>
Date: Wed, 24 Feb 2010 18:28:08 +0000
Subject: [PATCH] Replace "Type::make" by "makeType".

---
 src/libterm/test.cc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/libterm/test.cc b/src/libterm/test.cc
index a1339309b..198a9597c 100644
--- a/src/libterm/test.cc
+++ b/src/libterm/test.cc
@@ -43,14 +43,14 @@ int main()
   unsigned good, tests;
 
   using namespace term;
-  AInt a = Int::make(1);
-  AInt b = Int::make(2);
-  AInt c = Int::make(1);
+  AInt a = makeInt(1);
+  AInt b = makeInt(2);
+  AInt c = makeInt(1);
   Eval e;
 
   CHECK(a == c, "Terms are shared.");
   CHECK(!as<APlus>(a), "Bad convertion returns a zero ATerm.");
   CHECK(as<AInt>(a) == a, "Good convertion returns the same ATerm.");
-  CHECK(e.run(Plus::make(a, Plus::make(b, c))) == 4, "Visitors are working.");
+  CHECK(e.run(makePlus(a, makePlus(b, c))) == 4, "Visitors are working.");
   return tests - good;
 }