Better fix for parsing doc

Gbury · Nov 20, 2023 · d1e182b · d1e182b
1 parent c879919
commit d1e182b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/doc/parsing.md b/doc/parsing.md
@@ -49,7 +49,8 @@ module P =
     (Dolmen.Std.Loc)(Dolmen.Std.Id)(Dolmen.Std.Term)(Dolmen.Std.Statement)
     (Dolmen.Std.Extensions.Smtlib2)
 
-let _ = P.parse_all (`File "example.smt2")
+let _, lazy_l = P.parse_all (`File "example.smt2")
+let statements = Lazy.force lazy_l
 ```
 
 For more examples, see the [tutorial](https://github.com/Gbury/dolmen/tree/master/doc/tuto.md).