Rename demo

ml-in-barcelona · Jul 18, 2024 · 73b18c5 · 73b18c5
1 parent 41464bd
commit 73b18c5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/demo/index.ml → demo/demo.ml b/demo/index.ml → demo/demo.ml
@@ -1,4 +1,4 @@
-open Quickjs
+module Regex = Quickjs.RegExp
 
 let print_output (output : string array) =
   let len = Array.length output in

diff --git a/demo/dune b/demo/dune
@@ -1,5 +1,5 @@
 (executable
- (name index)
+ (name demo)
  (enabled_if
   (= %{profile} "demo"))
  (libraries quickjs))