From a88302f0d7f55385cd5e81d152671c13d9d7d5df Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Fri, 18 Feb 2022 23:08:40 +0000
Subject: [PATCH] Removed problematic warning about reaching default state in
 HPTW

---
 pipelined/src/mmu/hptw.sv | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/pipelined/src/mmu/hptw.sv b/pipelined/src/mmu/hptw.sv
index 2700cf4e..b7f9a16d 100644
--- a/pipelined/src/mmu/hptw.sv
+++ b/pipelined/src/mmu/hptw.sv
@@ -190,10 +190,6 @@ module hptw
 	//				else 				NextWalkerState = FAULT;
 	LEAF:                       NextWalkerState = IDLE; // updates TLB
 	default: begin
-		// synthesis translate_off
-		if (WalkerState !== 'x) 
-			$error("Default state in HPTW should be unreachable; was %d", WalkerState);
-		// synthesis translate_on
 		NextWalkerState = IDLE; // should never be reached
 	end
 	endcase