fix datatype sexp

egraphs-good · Oct 9, 2024 · 79ef987 · 79ef987
1 parent 820631a
commit 79ef987
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/mod.rs b/src/ast/mod.rs
@@ -897,7 +897,7 @@ where
                         Err((head, args)) => list!("sort", name, list!(head, ++ args)),
                     })
                     .collect();
-                list!("datatypes", ++ datatypes)
+                list!("datatype*", ++ datatypes)
             }
         }
     }