Merge pull request #357 from HigherOrderCO/redex-pri-printing

Fix printing of "!" in redexes
HigherOrderCO · May 28, 2024 · 3c3af24 · 3c3af24
2 parents 9e437c0 + 6861ad0
commit 3c3af24
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());