Fix printing of "!" in redexes

HigherOrderCO · May 28, 2024 · 6861ad0 · 6861ad0
1 parent 9e437c0
commit 6861ad0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/ast.rs b/src/ast.rs
@@ -316,8 +316,8 @@ impl Net {
   pub fn show(&self) -> String {
     let mut s = self.root.show();
     for (par, fst, snd) in &self.rbag {
-      s.push_str(" & ");
-      s.push_str(if *par { "!" } else { "" });
+      s.push_str(" &");
+      s.push_str(if *par { "!" } else { " " });
       s.push_str(&fst.show());
       s.push_str(" ~ ");
       s.push_str(&snd.show());