Diff of /examples/knapsack/test.py [9c0a10] .. [f16399] Maximize Restore

  Switch to side-by-side view

--- a/examples/knapsack/test.py
+++ b/examples/knapsack/test.py
@@ -12,7 +12,7 @@
     max = 0
     ans = None
     with engine.prove_goal(
-           'knapsack.legal_knapsack(%pantry, %capacity, $knapsack)',
+           'knapsack.legal_knapsack($pantry, $capacity, $knapsack)',
            pantry=pantry,
            capacity=capacity) \
       as gen: