From 82edd1062a230624c22c0a7ccd6ce6eb36b0a735 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Tue, 7 Apr 2020 17:33:47 +0000
Subject: [PATCH] remove hook attribute

---
 semantics/c/language/execution/error.k | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/semantics/c/language/execution/error.k b/semantics/c/language/execution/error.k
index 0e6825eec..7100838c8 100644
--- a/semantics/c/language/execution/error.k
+++ b/semantics/c/language/execution/error.k
@@ -6,7 +6,7 @@ module C-EXECUTION-ERROR-SYNTAX
      imports C-DYNAMIC-SORTS
      imports ERROR-SYNTAX
 
-     syntax List ::= printStackTrace(List, String, Scope, CabsLoc, Map) [function, hook(C_SEMANTICS.printStackTrace)]
+     syntax List ::= printStackTrace(List, String, Scope, CabsLoc, Map) [function]
 endmodule
 
 module C-EXECUTION-ERROR