From 56d8ecd2405ce24eb0c4f02e4c5655cc71227703 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Fri, 24 Feb 2023 08:49:39 +0100
Subject: [PATCH] fix the compilation without a server

---
 src/compiler/GF/Interactive.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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