warning police

GaloisInc · Jun 15, 2021 · 55e3eb1 · 55e3eb1
1 parent 9a46e6d
commit 55e3eb1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SAWScript/Value.hs b/src/SAWScript/Value.hs
@@ -343,7 +343,7 @@ evaluate sc t =
 evaluateTypedTerm :: SharedContext -> TypedTerm -> IO C.Value
 evaluateTypedTerm sc (TypedTerm (TypedTermSchema schema) trm) =
   C.runEval mempty . exportValueWithSchema schema =<< evaluate sc trm
-evaluateTypedTerm sc (TypedTerm tp _) =
+evaluateTypedTerm _sc (TypedTerm tp _) =
   fail $ unlines [ "Could not evaluate term with type"
                  , show (CMS.ppTypedTermType tp)
                  ]