Use Set rather than Hashtbl in graph.ml

Removes the need for the node type to have a valid Hash function

1 files changed, 1 insertions, 1 deletions

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