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