fix the compilation without a server

2023-02-24 08:49:39 +01:00
parent 6e12d7fee9
commit 56d8ecd240
1 changed files with 1 additions and 1 deletions
--- a/src/compiler/GF/Interactive.hs
+++ b/src/compiler/GF/Interactive.hs
@@ -84,7 +84,7 @@ mainServerGFI opts0 port files =
      return $ if continue then Just gfenv else Nothing

 #else
-mainServerGFI readNGF opts port files =
+mainServerGFI opts port files =
  fail "GF has not been compiled with server mode support"
 #endif