aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--backendC/CleanCompilerSources/sa.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/backendC/CleanCompilerSources/sa.c b/backendC/CleanCompilerSources/sa.c
index 5e71868..c9a02f7 100644
--- a/backendC/CleanCompilerSources/sa.c
+++ b/backendC/CleanCompilerSources/sa.c
@@ -628,7 +628,7 @@ static Context StrictInfoToContext (StrictInfo *s, Context curcontext, Bool resu
return context;
}
-static Context CopyContext (Context curcontext)
+static Context copy_context (Context curcontext)
{
Context context;
@@ -647,7 +647,7 @@ static Context CopyContext (Context curcontext)
context->context_args = SAllocArrayType (n,Context);
for (i = 0; i < n; i++)
- context->context_args[i] = CopyContext (curcontext->context_args[i]);
+ context->context_args[i] = copy_context (curcontext->context_args[i]);
} else
context->context_args = NULL;
@@ -3777,7 +3777,7 @@ static Bool CheckRelation (Exp e, Path p, Context context)
#endif
old_fuel = start_fuel;
- result = ReduceInContext (&exp_new, (Path) Null, CopyContext (context));
+ result = ReduceInContext (&exp_new, (Path) Null, copy_context (context));
start_fuel = old_fuel;
#ifdef _DB_RED_