From bf68aacb7333d0ce0f74d8a4dc52aaabcb63562a Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Wed, 2 Jun 2021 13:45:02 -0700 Subject: [PATCH] Remove the case that builds a rewrite rule directly from a term in saw-remote-api --- saw-remote-api/src/SAWServer/ProofScript.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/saw-remote-api/src/SAWServer/ProofScript.hs b/saw-remote-api/src/SAWServer/ProofScript.hs index d86b865d37..f4ec075a68 100644 --- a/saw-remote-api/src/SAWServer/ProofScript.hs +++ b/saw-remote-api/src/SAWServer/ProofScript.hs @@ -154,7 +154,6 @@ makeSimpset params = do v <- getServerVal n case v of VSimpset ss' -> return (merge ss ss') - VTerm t -> return (addSimp (ttTerm t) Nothing ss) -- TODO! making rewrite rules from terms! _ -> Argo.raise (notASimpset n) ss <- foldM add emptySimpset (ssElements params) setServerVal (ssResult params) ss