Fix External Core interpreter
[ghc-hetmet.git] / utils / ext-core / Check.hs
index af3bb3c..4d35676 100644 (file)
@@ -280,7 +280,7 @@ checkVdefg top_level (tcenv,tsenv,tvenv,cenv) (e_venv,l_venv) vdefg = do
     
 vdefIsMainWrapper :: AnMname -> Mname -> Bool
 vdefIsMainWrapper enclosing defining = 
-   enclosing == mainMname && defining == wrapperMainMname
+   enclosing == mainMname && defining == wrapperMainAnMname
 
 checkExpr :: AnMname -> Menv -> [Tdef] -> Venv -> Tvenv 
                -> Exp -> Ty