diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/Meaning.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/Meaning.hs b/source/Meaning.hs index 834d8a6..3017c1f 100644 --- a/source/Meaning.hs +++ b/source/Meaning.hs @@ -406,7 +406,7 @@ glossStmt = \case f' <- glossStmt f quantify <- glossQuantifier quantifier pure (quantify vars [constraints] f') - Raw.StmtExists np -> do + Raw.StmtExists np -> do (vars, constraints) <- glossNPList np pure (Sem.makeExists vars constraints) Raw.SymbolicQuantified quant vs bound suchThat have -> do |