diff --git a/macaw-semmc/src/Data/Macaw/SemMC/TH.hs b/macaw-semmc/src/Data/Macaw/SemMC/TH.hs
index 295e6919..d8ac1686 100644
--- a/macaw-semmc/src/Data/Macaw/SemMC/TH.hs
+++ b/macaw-semmc/src/Data/Macaw/SemMC/TH.hs
@@ -720,9 +720,5 @@ defaultAppEvaluator elt interps = case elt of
     e1 <- addEltTH interps bv1
     e2 <- addEltTH interps bv2
     liftQ [| return (G.AppExpr (M.BVXor $(natReprTH w) $(return e1) $(return e2))) |]
-  S.BVUrem w bv1 bv2 -> do
-    e1 <- addEltTH interps bv1
-    e2 <- addEltTH interps bv2
-    liftQ [| return (G.AppExpr (M.BVUrem $(natReprTH w) $(return e1) $(return e2))) |]
   _ -> error $ "unsupported Crucible elt:" ++ show elt