diff --git a/stdlib.ipr b/stdlib.ipr index 30c354500c5..693c766ab77 100644 --- a/stdlib.ipr +++ b/stdlib.ipr @@ -27,6 +27,9 @@