diff options
| author | krasimir <krasimir@chalmers.se> | 2010-10-20 13:36:39 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-10-20 13:36:39 +0000 |
| commit | 2991b7acefd84c62eb305f3d13afc34b401b7527 (patch) | |
| tree | 297dbd0dfb4c4da24899894e68b4d86c49c82a91 /src | |
| parent | d45b4ae426965b97c405bf36f7731fc3148d2464 (diff) | |
bugfix in the term generation
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/haskell/PGF/Generate.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/Generate.hs b/src/runtime/haskell/PGF/Generate.hs index fcbf405a2..5ba822b3b 100644 --- a/src/runtime/haskell/PGF/Generate.hs +++ b/src/runtime/haskell/PGF/Generate.hs @@ -107,7 +107,7 @@ prove dp scope (TTyp env1 (DTyp [] cat es1)) = do mkEnv env ((bt,x,ty):hypos) = do (env,arg) <- if x /= wildCId then do i <- newMeta scope (TTyp env ty) - return (VMeta i env [] : env,Right (EMeta i)) + return (VMeta i (scopeEnv scope) [] : env,Right (EMeta i)) else return (env,Left (TTyp env ty)) (env,args) <- mkEnv env hypos return (env,(bt,arg):args) |