From eee4d26e53a5e33cdb71e9a338154e2dbf18830c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 16 Aug 2018 17:22:32 +0100
Subject: Use Set rather than Hashtbl in graph.ml

Removes the need for the node type to have a valid Hash function
---
 aarch64/main.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'aarch64')

diff --git a/aarch64/main.sail b/aarch64/main.sail
index e9e2f84f..b3ff7e3a 100644
--- a/aarch64/main.sail
+++ b/aarch64/main.sail
@@ -9,7 +9,7 @@ function fetch_and_execute () =
       let instr = aget_Mem(_PC, 4, AccType_IFETCH);
       decode(instr);
     } catch {
-      Error_See("HINT") => (),
+      Error_See(h) if h == "HINT" => (),
       _ => exit(())
     };
     if __BranchTaken then __BranchTaken = false else _PC = _PC + 4
-- 
cgit v1.2.3