Cleanup space

2021-06-20 22:51:04 -07:00 · 2021-06-20 22:51:04 -07:00 · 6b127432da
parent c07a6ec8fd
commit 6b127432da
1 changed files with 0 additions and 1 deletions
--- a/pform_dump.cc
+++ b/pform_dump.cc
@ -948,7 +948,6 @@ void PCase::dump(ostream&out, unsigned ind) const
 			(*idx_exp)->dump(out);
 		  }

-
 		  out << ":";
 	    }