Mark crucible_setup_val_to_typed_term deprecated

This will fix #719
GaloisInc · Dec 14, 2020 · 07874c2 · 07874c2
1 parent b3bbf4e
commit 07874c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SAWScript/Interpreter.hs b/src/SAWScript/Interpreter.hs
@@ -2400,7 +2400,7 @@ primitives = Map.fromList
   , prim "crucible_setup_val_to_term"
     " SetupValue -> TopLevel Term"
     (pureVal crucible_setup_val_to_typed_term)
-    Current
+    Deprecated
     [ "Convert from a setup value to a typed term. This can only be done for a"
     , "subset of setup values. Fails if a setup value is a global, variable or null."
     ]