diff options
Diffstat (limited to 'test/golden/geometry/parsing.golden')
| -rw-r--r-- | test/golden/geometry/parsing.golden | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/golden/geometry/parsing.golden b/test/golden/geometry/parsing.golden index 1d067d0..553699b 100644 --- a/test/golden/geometry/parsing.golden +++ b/test/golden/geometry/parsing.golden @@ -243,8 +243,8 @@ ( NamedVar "a" ) :| [] ) Positive ( RelationSymbol - ( Symbol "=" ) - ) [] + ( Symbol "=" ) [] + ) ( ExprVar ( NamedVar "b" ) :| [] ) @@ -515,8 +515,8 @@ ( NamedVar "a" ) :| [] ) Positive ( RelationSymbol - ( Command "neq" ) - ) [] + ( Command "neq" ) [] + ) ( ExprVar ( NamedVar "b" ) :| [] ) @@ -589,8 +589,8 @@ ( NamedVar "a" ) :| [] ) Positive ( RelationSymbol - ( Symbol "=" ) - ) [] + ( Symbol "=" ) [] + ) ( ExprVar ( NamedVar "b" ) :| [] ) @@ -797,8 +797,8 @@ ( NamedVar "u" ) :| [] ) Positive ( RelationSymbol - ( Command "neq" ) - ) [] + ( Command "neq" ) [] + ) ( ExprVar ( NamedVar "v" ) :| [] ) |