From ea20b082fa7f1b027057c5e7f32d0238e8b842ed Mon Sep 17 00:00:00 2001 From: johnvg Date: Mon, 19 Sep 2016 13:14:15 +0000 Subject: rename function CopyContext to copy_context to avoid conflict with Windows API function CopyContext git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2738 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- backendC/CleanCompilerSources/sa.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'backendC') 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_ -- cgit v1.2.3