diff options
Diffstat (limited to 'test/golden/proofdefinefunction/parsing.golden')
| -rw-r--r-- | test/golden/proofdefinefunction/parsing.golden | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/golden/proofdefinefunction/parsing.golden b/test/golden/proofdefinefunction/parsing.golden index c1ba1d0..2034cbc 100644 --- a/test/golden/proofdefinefunction/parsing.golden +++ b/test/golden/proofdefinefunction/parsing.golden @@ -71,8 +71,8 @@ ( NamedVar "f" ) :| [] ) Positive ( RelationSymbol - ( Symbol "=" ) - ) [] + ( Symbol "=" ) [] + ) ( ExprVar ( NamedVar "f" ) :| [] ) @@ -112,8 +112,8 @@ ( NamedVar "f" ) :| [] ) Positive ( RelationSymbol - ( Symbol "=" ) - ) [] + ( Symbol "=" ) [] + ) ( ExprVar ( NamedVar "f" ) :| [] ) @@ -138,8 +138,8 @@ ( NamedVar "x" ) :| [] ) Positive ( RelationSymbol - ( Command "in" ) - ) [] + ( Command "in" ) [] + ) ( ExprVar ( NamedVar "y" ) :| [] ) @@ -153,8 +153,8 @@ ( NamedVar "x" ) :| [] ) Positive ( RelationSymbol - ( Command "in" ) - ) [] + ( Command "in" ) [] + ) ( ExprVar ( NamedVar "y" ) :| [] ) |