remove hook attribute

kframework · Apr 7, 2020 · 82edd10 · 82edd10
1 parent 23361cc
commit 82edd10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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