From 7efb148fcd68278e1f7633aa267a0c595605c241 Mon Sep 17 00:00:00 2001
From: Kylian Fontaine <kylian.fontaine@etu.univ-lyon1.fr>
Date: Thu, 25 Jul 2024 10:06:39 +0200
Subject: [PATCH] typo
---
bin/main.ml | 2 +-
lib/lexer.mll | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/main.ml b/bin/main.ml
index 44640dd..37a84ff 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -34,7 +34,7 @@ let gen (args : string array) =
else
let list_args = Array.to_list args in
let name = args.(1) in
- let (proof_name, type_name, overwrite,repo_gen, graph_gen) = parse_args list_args ((Filename.basename name)^"_proof") ((Filename.basename name)^"_world_type") true "./generate" false in
+ let (proof_name, type_name, overwrite,repo_gen, graph_gen) = parse_args list_args ((Filename.basename name)^"_proof") ((Filename.basename name)^"_world_type") true "." false in
Gencoq.generate_coq_2files (Interface.parse_description name) (Filename.basename name) proof_name type_name overwrite repo_gen graph_gen
;;
diff --git a/lib/lexer.mll b/lib/lexer.mll
index be04b7a..cd243a9 100644
--- a/lib/lexer.mll
+++ b/lib/lexer.mll
@@ -10,7 +10,7 @@ let float = integer '.' integer
let alpha = ['a'-'z' 'A'-'Z']
let space = [' ' '\t']+
let variable = (alpha | integer | '_')+
-let keyword = ['A'-'Z']alpha+
+let keyword = ['A'-'Z']alpha*
rule token = parse
| "World" {WORLD}
| "Robogram" {ROBOGRAM}
--
GitLab