teal-src/util/jsonschema.tl
changeset 12786 8815d3090928
parent 12583 ca6a43fe0231
--- a/teal-src/util/jsonschema.tl	Wed Oct 19 16:25:05 2022 +0200
+++ b/teal-src/util/jsonschema.tl	Thu Oct 20 16:50:12 2022 +0200
@@ -8,6 +8,8 @@
 -- https://json-schema.org/draft/2020-12/json-schema-validation.html
 --
 
+if not math.type then require "util.mathcompat" end
+
 local json = require"util.json"
 local null = json.null;