diff --git a/src/SAWScript/Value.hs b/src/SAWScript/Value.hs
index 8f7fa0c5c8..4a8e6f3d8b 100644
--- 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)
                  ]