Fix compile call in docs

MiniZinc · Dec 2, 2024 · dc0e2c4 · dc0e2c4
1 parent 4976cd8
commit dc0e2c4
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/types/index.d.ts b/types/index.d.ts
@@ -657,7 +657,9 @@ export interface CompilationProgress extends PromiseLike<string> {
    * @example
    * ```js
    * const compile = model.compile({
-   *   solver: 'gecode'
+   *   options: {
+   *     solver: 'gecode'
+   *   }
    * });
    * setInterval(() => {
    *   if (compile.isRunning()) {
@@ -673,7 +675,9 @@ export interface CompilationProgress extends PromiseLike<string> {
    * @example
    * ```js
    * const compile = model.compile({
-   *   solver: 'gecode'
+   *   options: {
+   *     solver: 'gecode'
+   *   }
    * });
    * setTimeout(() => {
    *   if (compile.isRunning()) {