From 6e5558e67d35f573fa4c943989fddd1631fce170 Mon Sep 17 00:00:00 2001
From: Stephen Williams <steve@icarus.com>
Date: Thu, 29 Dec 2016 09:39:45 -0800
Subject: [PATCH] Trivial fixes to pform dumps.

---
 pform_dump.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pform_dump.cc b/pform_dump.cc
index 07b9cbf59..6d2d3a9cd 100644
--- 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 ";