Diff of /examples/forall/fc_forall.krb [7cd0dd] .. [2922d1] Maximize Restore

  Switch to side-by-side view

--- a/examples/forall/fc_forall.krb
+++ b/examples/forall/fc_forall.krb
@@ -12,4 +12,4 @@
         require
             check $father == $father2
     assert
-        python print $child, "has no step brothers or sisters"
+        python print($child, "has no step brothers or sisters")