Update dependencies

MiniZinc · Nov 23, 2023 · 0151a70 · 0151a70
1 parent 07d373f
commit 0151a70
Show file tree

Hide file tree

Showing 4 changed files with 394 additions and 1,217 deletions.
diff --git a/README.md b/README.md
@@ -3,7 +3,7 @@ MiniZinc Playground
 
 Write and run MiniZinc models entirely within your browser.
 
-Try it out at https://minizinc.dev/solve.
+Try it out at https://play.minizinc.dev.
 
 The playground is a [Svelte](https://svelte.dev) app which uses the
 [WebAssembly build of MiniZinc](https://github.com/minizinc/minizinc-js) to run MiniZinc locally in the browser.

diff --git a/jsconfig.json b/jsconfig.json
@@ -8,7 +8,7 @@
      * a value or a type, so tell TypeScript to enforce using
      * `import type` instead of `import` for Types.
      */
-    "importsNotUsedAsValues": "error",
+    "verbatimModuleSyntax": true,
     "isolatedModules": true,
     "resolveJsonModule": true,
     /**