From 8f3b88b77093b6706af9b72f5e08cafb70f5208d Mon Sep 17 00:00:00 2001 From: heck Date: Tue, 20 Jun 2023 19:29:43 +0200 Subject: [PATCH] idl-api: include the standard lib --- idl/idl_api.ysl2 | 2 ++ 1 file changed, 2 insertions(+) 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()"