diff options
| author | johnvg | 2016-09-19 13:14:15 +0000 |
|---|---|---|
| committer | johnvg | 2016-09-19 13:14:15 +0000 |
| commit | ea20b082fa7f1b027057c5e7f32d0238e8b842ed (patch) | |
| tree | 0d62b6e7d05b92013043c5d103375434b9effa23 /backendC/CleanCompilerSources | |
| parent | remove BELabelWithoutNumberFunctions (diff) | |
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
Diffstat (limited to 'backendC/CleanCompilerSources')
| -rw-r--r-- | backendC/CleanCompilerSources/sa.c | 6 |
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_ |