saw-remote-api: Remove uses of undefined (#1392)

These are most likely placeholder values that were accidentally left in the code. Let's remove them. Fixes #1390.
GaloisInc · Jul 22, 2021 · 78bbe4e · 78bbe4e
1 parent 95a6a1a
commit 78bbe4e
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