Fix the saw-remote-api build

robdockins · robdockins · commit 9ed30cda6e17 · 2022-04-22T11:07:45.000-07:00
diff --git 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
