mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-27 00:53:17 -06:00
error -> fail
This commit is contained in:
1 parent
4ec0c334c3
commit
56824cb645
1 file changed
+1
-1
@@ -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
|
||||
|
||||
Reference in new issue
Block a user