saw-remote-api: Remove uses of undefined

These are most likely placeholder values that were accidentally left in the code. Let's remove them. Fixes #1390.
GaloisInc · Jul 22, 2021 · 054647c · 054647c
1 parent d2b99ca
commit 054647c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/saw-remote-api/src/SAWServer/SetOption.hs b/saw-remote-api/src/SAWServer/SetOption.hs
@@ -33,9 +33,9 @@ setOption opt =
          updateRW rw { rwLaxArith = enabled }
        EnableLaxPointerOrdering enabled ->
          updateRW rw { rwLaxPointerOrdering = enabled }
-       EnableSMTArrayMemoryModel enabled -> undefined
+       EnableSMTArrayMemoryModel enabled ->
          updateRW rw { rwSMTArrayMemoryModel = enabled }
-       EnableWhat4HashConsing enabled -> undefined
+       EnableWhat4HashConsing enabled ->
          updateRW rw { rwWhat4HashConsing = enabled }
      ok