src/Pure/Thy/export.ML

--- a/src/Pure/Thy/export.ML	Sun Apr 11 21:32:09 2021 +0200
+++ b/src/Pure/Thy/export.ML	Sun Apr 11 22:47:55 2021 +0200
@@ -42,7 +42,7 @@
     name = Path.implode_binding (tap Path.proper_binding binding),
     executable = executable,
     compress = compress,
-    strict = strict} body);
+    strict = strict} [body]);
 
 fun export thy binding body =
   export_params