Export parameterized goal parameters by default #162

xonixx · Jan 9, 2024 · a475969 · a475969
1 parent bbfd2ec
commit a475969
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/makesure.awk b/makesure.awk
@@ -653,7 +653,7 @@ function instantiate(goal,args,newArgs,   i,j,depArg,depArgType,dep,goalNameInst
     copyKey(goal, goalNameInstantiated, GoalToLib)
 
     for (i in args)
-      argsCode = addL(argsCode, i "=" quoteArg(args[i]))
+      argsCode = addL(argsCode, i "=" quoteArg(args[i]) ";export " i)
 
     CodePre[goalNameInstantiated] = addL(CodePre[goalNameInstantiated], argsCode)
     if (goalNameInstantiated in ReachedIf)