diff --git a/src/compiler/GF/Interactive.hs b/src/compiler/GF/Interactive.hs
index c0af612b0..4e15768be 100644
--- 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