diff --git a/src/compiler/GF/Interactive.hs b/src/compiler/GF/Interactive.hs index 046111090..c9db4683b 100644 --- a/src/compiler/GF/Interactive.hs +++ b/src/compiler/GF/Interactive.hs @@ -70,7 +70,7 @@ mainServerGFI opts0 port files = return $ if continue then Just gfenv else Nothing #else mainServerGFI opts port files = - error "GF has not been compiled with server mode support" + fail "GF has not been compiled with server mode support" #endif -- | Read end execute commands until it is time to quit