diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-05-30 17:13:38 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-05-30 17:13:38 +0000 |
| commit | 83dc6de3a878e00c6d6a8b0312d288dc7323f058 (patch) | |
| tree | f2c78e8b231dde2013bec1371d9f43f103d01bd1 | |
| parent | 3a20b4883d9b2d13e81df17c745071c8c53b2004 (diff) | |
unforgetting new env after i command
| -rw-r--r-- | src-3.0/GFI.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/GFI.hs b/src-3.0/GFI.hs index 46c6be9c9..92c835123 100644 --- a/src-3.0/GFI.hs +++ b/src-3.0/GFI.hs @@ -47,7 +47,7 @@ loop opts gfenv0 = do Ok (opts',files) -> importInEnv gfenv (addOptions opts opts') files Bad err -> do putStrLn $ "Command parse error: " ++ err return gfenv - loopNewCPU gfenv + loopNewCPU gfenv' -- other special commands, working on GFEnv "e":_ -> loopNewCPU $ gfenv {commandenv=env{multigrammar=emptyPGF}} |