From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Sun, 30 Jun 2013 23:59:26 +0000 (-0400)
Subject: Merge branch 'master' of ssh://github.com/nwf/dyna
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=a63e665a5a74a82eeec5c6a76b0932c89714ed9a;p=dyna2

Merge branch 'master' of ssh://github.com/nwf/dyna
---

a63e665a5a74a82eeec5c6a76b0932c89714ed9a
diff --cc examples/expected/lists.py.out
index 5c567af,fce6f44..a6bb6ca
--- a/examples/expected/lists.py.out
+++ b/examples/expected/lists.py.out
@@@ -5,5 -5,9 +5,9 @@@ a => [1, 2]
  
  f/1
  ===
 -f([1, 2])                      := true
 +f([1, 2]) => true.
  
+ goal/1
+ ======
+ goal([2])                      := true
+