diff options
Diffstat (limited to 'src/runtime/haskell/PGF/Generate.hs')
| -rw-r--r-- | src/runtime/haskell/PGF/Generate.hs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/runtime/haskell/PGF/Generate.hs b/src/runtime/haskell/PGF/Generate.hs index 408dcc590..33021066e 100644 --- a/src/runtime/haskell/PGF/Generate.hs +++ b/src/runtime/haskell/PGF/Generate.hs @@ -99,9 +99,7 @@ prove dp scope (TTyp env1 (DTyp hypos1 cat es1)) = do mv <- getMeta i case mv of MBound e -> c e - MUnbound _ scope tty cs -> do e <- prove dp scope tty - setMeta i (MBound e) - sequence_ [c e | c <- (c:cs)] + MUnbound x scope tty cs -> setMeta i (MUnbound x scope tty (c:cs)) abs [] e = e abs ((bt,x,ty):hypos) e = EAbs bt x (abs hypos e) |