diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-05 16:13:04 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-05 16:13:04 +0200 |
| commit | 12f360a500d5edddf83afa121a5a08b6a6408815 (patch) | |
| tree | c568b5cf5f33af8cf5ea6ee6f77efd34af779325 /test/golden/finite-set-terms/tokenizing.golden | |
| parent | e1d55f672b063f9347c0c9718ae5cdca9a370dba (diff) | |
Precondtion failed in line 161 urysohn2.tex
Error:
zf: Precondition failed in encodeTerm, cannot encode terms with comprehensions directly: TermSep (NamedVar "n") (TermSymbol (SymbolMixfix [Just (Command "naturals")]) []) (Scope (TermSymbol (SymbolPredicate (PredicateRelation (Command "rless"))) [TermSymbol (SymbolInteger 1) [],TermVar (B ())]))
CallStack (from HasCallStack):
error, called at source/Encoding.hs:89:13 in zf-0.3.0.0-3mIpbM9y9fK3yXjxxoLDb2:Encoding
Diffstat (limited to 'test/golden/finite-set-terms/tokenizing.golden')
0 files changed, 0 insertions, 0 deletions