diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-07-23 16:57:34 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-07-23 16:57:34 +0200 |
| commit | 3caadfbe0fdb417b8edebc17002ddafe795a4bcc (patch) | |
| tree | 4101e8da92c3c92429de3c5db6c4b323d1e58caa | |
| parent | 8280bc992a00fafddfa186f73eeb67e4f57d8991 (diff) | |
Formatting
| -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 |