example/z-playground: add dummy examples.ml

Fixes #294.
aantron · Nov 30, 2023 · 090b622 · 090b622
1 parent 8abe1a1
commit 090b622
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/example/z-playground/runtime/examples.ml b/example/z-playground/runtime/examples.ml
@@ -0,0 +1,5 @@
+(* This is a dummy version of a file that is generated by a script. The
+   purpose of this dummy file is to suppress spurious build errors when
+   a build system looks for this file as a dependency. *)
+
+let list = []