Trivial fixes to pform dumps.

2016-12-29 09:39:45 -08:00 · 2016-12-29 09:39:45 -08:00 · 6e5558e67d
parent 063ae77568
commit 6e5558e67d
1 changed files with 2 additions and 2 deletions
--- a/pform_dump.cc
+++ b/pform_dump.cc
@ -627,10 +627,10 @@ void PGBuiltin::dump(ostream&out, unsigned ind) const
 	    out << "bufif1 ";
 	    break;
 	  case PGBuiltin::NOTIF0:
-	    out << "bufif0 ";
+	    out << "notif0 ";
 	    break;
 	  case PGBuiltin::NOTIF1:
-	    out << "bufif1 ";
+	    out << "notif1 ";
 	    break;
 	  case PGBuiltin::NAND:
 	    out << "nand ";