Type error

robsimmons · Nov 26, 2024 · b96ccc7 · b96ccc7
1 parent be07d1e
commit b96ccc7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/serialize.ts b/src/serialize.ts
@@ -128,6 +128,7 @@ export function bytecodeToJSON(prog: ProgramN<bigint>): ProgramN<string | number
     forbids: prog.forbids,
     demands: prog.demands,
     arities: prog.arities,
+    lazy: prog.lazy,
     rules: prog.rules.map(ruleToJSON),
   };
 }