diff --git a/sledge/src/llair/exp.ml b/sledge/src/llair/exp.ml
index 5078944d8..06737d336 100644
--- a/sledge/src/llair/exp.ml
+++ b/sledge/src/llair/exp.ml
@@ -1290,7 +1290,7 @@ let rec is_constant e =
   | _ -> true
 
 let classify = function
-  | Add _ | Mul _ -> `Interpreted
+  | Add _ | Mul _ | App {op= Eq | Dq | App {op= Eq | Dq}} -> `Interpreted
   | App _ -> `Uninterpreted
   | _ -> `Atomic