From 06f2978dbed2231d0360459a45fa543a45b64a61 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 26 May 2004 08:52:15 +0000
Subject: [PATCH] - More ansi fixes.

---
 src/main.c  | 6 ++++--
 src/terms.c | 4 +++-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/main.c b/src/main.c
index 9bd3f00..e4e92c4 100644
--- a/src/main.c
+++ b/src/main.c
@@ -523,6 +523,8 @@ MC_incTraces (const System sys)
   int maxtracelen;
   int tracelen;
   int tracestep;
+  int flag;
+  int res;
 
   tracestep = 3;		/* what is a sensible stepping size? */
   maxtracelen = getMaxTraceLength (sys);
@@ -530,8 +532,8 @@ MC_incTraces (const System sys)
   while (tracelen > 6)		/* what is a reasonable minimum? */
     tracelen -= tracestep;
 
-  int flag = 1;
-  int res;
+  flag = 1;
+  res;
 
   do
     {
diff --git a/src/terms.c b/src/terms.c
index 08cf51e..7fca218 100644
--- a/src/terms.c
+++ b/src/terms.c
@@ -78,6 +78,8 @@ makeTermEncrypt (Term t1, Term t2)
 Term
 makeTermTuple (Term t1, Term t2)
 {
+  Term tt;
+
   if (t1 == NULL)
     {
       if (t2 == NULL)
@@ -95,7 +97,7 @@ makeTermTuple (Term t1, Term t2)
       return t1;
     }
 
-  Term tt = makeTerm ();
+  tt = makeTerm ();
   tt->type = TUPLE;
   tt->stype = NULL;
   tt->left.op1 = t1;