diff options
Diffstat (limited to 'test/golden/separation/glossing.golden')
| -rw-r--r-- | test/golden/separation/glossing.golden | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/test/golden/separation/glossing.golden b/test/golden/separation/glossing.golden deleted file mode 100644 index c184012..0000000 --- a/test/golden/separation/glossing.golden +++ /dev/null @@ -1,60 +0,0 @@ -[ BlockLemma - ( Location - { locFile = "test/examples/separation.tex" - , locLine = 1 - , locColumn = 1 - } - ) - ( Marker "sep_test" ) - ( Lemma [] - ( TermSymbol - ( Location - { locFile = "test/examples/separation.tex" - , locLine = 2 - , locColumn = 8 - } - ) - ( SymbolPredicate - ( PredicateRelation - ( RelationSymbol - ( Symbol "=" ) - ( ParameterArity 0 ) - ( Marker "eq" ) - ) - ) - ) - [ TermVar - ( NamedVar "X" ) - , TermSep - ( NamedVar "x" ) - ( TermVar - ( NamedVar "X" ) - ) - ( Scope - ( TermSymbol - ( Location - { locFile = "test/examples/separation.tex" - , locLine = 2 - , locColumn = 26 - } - ) - ( SymbolPredicate - ( PredicateRelation - ( RelationSymbol - ( Symbol "=" ) - ( ParameterArity 0 ) - ( Marker "eq" ) - ) - ) - ) - [ TermVar - ( B () ) - , TermVar - ( B () ) - ] - ) - ) - ] - ) - ) -]
\ No newline at end of file |