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)