diff options
Diffstat (limited to 'test/golden/russell')
| -rw-r--r-- | test/golden/russell/parsing.golden | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/golden/russell/parsing.golden b/test/golden/russell/parsing.golden index f924229..9f5dc37 100644 --- a/test/golden/russell/parsing.golden +++ b/test/golden/russell/parsing.golden @@ -57,7 +57,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprVar ( NamedVar "V" ) :| [] ) @@ -147,7 +147,7 @@ ) Negative ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprVar ( NamedVar "x" ) :| [] ) @@ -165,7 +165,7 @@ ) Positive ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprVar ( NamedVar "R" ) :| [] ) @@ -180,7 +180,7 @@ ) Negative ( RelationSymbol ( Command "in" ) - ) + ) [] ( ExprVar ( NamedVar "R" ) :| [] ) |