change spec template

kframework · Jun 15, 2018 · 9696bdd · 9696bdd
1 parent 38f8dee
commit 9696bdd
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/resources/spec-tmpl.k b/resources/spec-tmpl.k
@@ -91,6 +91,5 @@
     requires 0 <=Int ACCT_ID    andBool ACCT_ID    <Int (2 ^Int 160)
      andBool 0 <=Int CALLER_ID  andBool CALLER_ID  <Int (2 ^Int 160)
      andBool 0 <=Int ORIGIN_ID  andBool ORIGIN_ID  <Int (2 ^Int 160)
-     andBool 0 <=Int CALL_DEPTH andBool CALL_DEPTH <Int 1024
      {REQUIRES}
      {ATTRIBUTE}