Drop symbol(ite) (#4029)

Partially revert #4024. Co-authored-by: rv-jenkins <admin@runtimeverification.com>
runtimeverification · Feb 22, 2024 · d23cec4 · d23cec4
1 parent f259d22
commit d23cec4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/include/kframework/builtin/domains.md b/k-distribution/include/kframework/builtin/domains.md
@@ -2279,7 +2279,7 @@ module K-EQUAL-SYNTAX
 
  syntax priority equalEqualK notEqualEqualK > boolOperation mlOp
 
- syntax {Sort} Sort ::= "#if" Bool "#then" Sort "#else" Sort "#fi" [function, total, symbol(ite), smt-hook(ite), hook(KEQUAL.ite)]
+ syntax {Sort} Sort ::= "#if" Bool "#then" Sort "#else" Sort "#fi" [function, total, smt-hook(ite), hook(KEQUAL.ite)]
 
 endmodule