diff options
Diffstat (limited to 'test/golden/formula/parsing.golden')
| -rw-r--r-- | test/golden/formula/parsing.golden | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/golden/formula/parsing.golden b/test/golden/formula/parsing.golden index 7de1fb7..4012bde 100644 --- a/test/golden/formula/parsing.golden +++ b/test/golden/formula/parsing.golden @@ -20,7 +20,7 @@ ) Positive ( RelationSymbol ( Symbol "=" ) - ) + ) [] ( ExprVar ( NamedVar "x" ) :| [] ) @@ -33,7 +33,7 @@ ) Positive ( RelationSymbol ( Symbol "=" ) - ) + ) [] ( ExprVar ( NamedVar "y" ) :| [] ) @@ -64,7 +64,7 @@ ) Positive ( RelationSymbol ( Symbol "=" ) - ) + ) [] ( ExprVar ( NamedVar "y" ) :| [] ) @@ -95,7 +95,7 @@ ) Positive ( RelationSymbol ( Symbol "=" ) - ) + ) [] ( ExprVar ( NamedVar "y" ) :| [] ) @@ -114,7 +114,7 @@ ) Positive ( RelationSymbol ( Command "neq" ) - ) + ) [] ( ExprVar ( NamedVar "x" ) :| [] ) |