k-distribution/tests/.../a.k: adding smtlib attribute for iexp

kframework · Nov 18, 2017 · 8aff58f · 8aff58f
1 parent 1845379
commit 8aff58f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-distribution/tests/examples/symbolic/a.k b/k-distribution/tests/examples/symbolic/a.k
@@ -56,6 +56,6 @@ rule if("") => "default" [transition]
 rule symIExp(I:Int) => iexp(I)
 
 // uninterpreted function
-syntax Int ::= iexp(Int) [function]
+syntax Int ::= iexp(Int) [function, smtlib(iexp)]
 
 endmodule