diff options
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/Commands.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Shell/Commands.hs b/src/GF/Shell/Commands.hs index c7b27c3ca..c15ad13ed 100644 --- a/src/GF/Shell/Commands.hs +++ b/src/GF/Shell/Commands.hs @@ -168,8 +168,8 @@ execCommand env c s = case c of return (env', state1) -} ----- CCEnvOn name -> return (languageOn (language name) env,s) ----- CCEnvOff name -> return (languageOff (language name) env,s) + CCEnvOn name -> return (env,s) ---- return (languageOn (language name) env,s) + CCEnvOff name -> return (env,s) ---- return (languageOff (language name) env,s) -- this command is improved by the use of IO CRefineRandom -> do |