From 9ed30cda6e17ec4bca26921d6b3f622033de4030 Mon Sep 17 00:00:00 2001
From: Rob Dockins <rdockins@galois.com>
Date: Fri, 22 Apr 2022 10:57:00 -0700
Subject: [PATCH] Fix the saw-remote-api build

---
 saw-remote-api/src/SAWServer.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/saw-remote-api/src/SAWServer.hs b/saw-remote-api/src/SAWServer.hs
index b6ac03c7f6..0c8866d865 100644
--- a/saw-remote-api/src/SAWServer.hs
+++ b/saw-remote-api/src/SAWServer.hs
@@ -212,6 +212,9 @@ initialState readFileFn =
                 , roInitWorkDir = cwd
                 , roBasicSS = ss
                 , roTheoremDB = db
+                , roStackTrace = []
+                , roSubshell = fail "SAW server does not support subshells."
+                , roLocalEnv = []
                 }
          rw = TopLevelRW
                 { rwValues = mempty