From 9f1da17d06e87ae147051cd1f31a63bf6fd887ab Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 26 May 2016 13:56:43 +0000
Subject: [PATCH] PGFService.hs: fix compilation problem when C run-time
 support is omitted

---
 src/server/PGFService.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs
index 4abd52d6a..5e673ca75 100644
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -521,7 +521,7 @@ errorMissingId = badRequest "Missing identifier" ""
 
 notFound = throw 404 "Not found"
 badRequest = throw 400
---serverError = throw 500
+serverError = throw 500
 
 throw code msg extra =
     throwCGIError code msg [msg ++(if null extra then "" else ": "++extra)]