bug

Author: AYadrov

src/core/programs.rkt

@@ -40,8 +40,7 @@
   (match node
     [(? literal?) (get-representation (literal-precision node))]
     [(? variable?) (context-lookup ctx node)]
-    [(list '$approx _ impl)
-     (repr-of-node batch impl ctx)] ; this is ugly, but egraph-add-exprs relies on this match
+    [(approx _ impl) (repr-of-node batch impl ctx)]
     [(list 'if cond ift iff) (repr-of-node batch ift ctx)]
     [(list op args ...) (impl-info op 'otype)]))