Remove the case that builds a rewrite rule directly from a term

in saw-remote-api
GaloisInc · Jun 2, 2021 · bf68aac · bf68aac
1 parent a267fc9
commit bf68aac
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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