forget to edit f_ops ast

egraphs-good · May 21, 2024 · b80e663 · b80e663
1 parent 67abe3d
commit b80e663
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/dag_in_context/src/pretty_print.rs b/dag_in_context/src/pretty_print.rs
@@ -671,15 +671,15 @@ impl BinaryOp {
             Load => "load",
             Print => "tprint",
             Free => "free",
-            FGreaterEq => "f_greater_eq",
-            FGreaterThan => "f_greater_than",
-            FLessEq => "f_less_eq",
-            FLessThan => "f_less_than",
-            FAdd => "f_add",
-            FSub => "f_sub",
-            FDiv => "f_div",
-            FMul => "f_mul",
-            FEq => "f_eq",
+            FGreaterEq => "fgreater_eq",
+            FGreaterThan => "fgreater_than",
+            FLessEq => "fless_eq",
+            FLessThan => "fless_than",
+            FAdd => "fadd",
+            FSub => "fsub",
+            FDiv => "fdiv",
+            FMul => "fmul",
+            FEq => "feq",
         }
         .into()
     }