Cleanup space

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

-
 		  out << ":";
 	    }