Merge pull request #6 from pedrobslisboa/fix/destructuring-file-name

Fix the destructuring demo name
pedrobslisboa · Sep 8, 2024 · 13fd5cd · 13fd5cd
2 parents e61fede + 893cb4a
commit 13fd5cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/1 - AST/b - Destructing AST/dune b/examples/1 - AST/b - Destructing AST/dune
@@ -1,5 +1,5 @@
 (executable
- (name destructing_ast)
+ (name destructuring_ast)
  (public_name destructing_ast_demo)
  (libraries ppxlib ppxlib.astlib)
  (preprocess