Release 0.9.18 #108

xonixx · Feb 11, 2022 · 579ed45 · 579ed45
1 parent b1195ce
commit 579ed45
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/makesure_candidate b/makesure_candidate
@@ -358,7 +358,8 @@ body,goalBody,goalBodies,resolvedGoals,exitCode, t0,t1,t2, goalTimed, list) {
         printf " %s", quote2(ArgGoals[i],1)
       print ":"
       for (i = 0; i in resolvedGoals; i++)
-        print "  " quote2(resolvedGoals[i])
+        if (!reachedGoals[goalName=resolvedGoals[i]] && !emptyGoals[goalName])
+          print "  " quote2(goalName)
     } else {
       for (i = 0; i in resolvedGoals; i++) {
         goalName = resolvedGoals[i]