diff --git a/pform_dump.cc b/pform_dump.cc
index a7e4305a0..ec53a13de 100644
--- 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 << ":";
 	    }