diff --git a/idl/idl_api.ysl2 b/idl/idl_api.ysl2 index 2afd337..f3e5fdd 100644 --- a/idl/idl_api.ysl2 +++ b/idl/idl_api.ysl2 @@ -1,3 +1,4 @@ +include standardlib.ysl2 // ---------------------------------------------------------------------- // stdlib candidates // ---------------------------------------------------------------------- @@ -19,6 +20,7 @@ def "func:exists" { // ---------------------------------------------------------------------- // idl-api (ysl2) // ---------------------------------------------------------------------- + template "/" { choose { when "func:idl_static_analysis_is_ok()"