format some parts of ModelParser and ModelLexer

imitator-model-checker · Apr 23, 2024 · 0318aba · 0318aba
1 parent 186095f
commit 0318aba
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 deletions.
diff --git a/src/lib/ModelLexer.mll b/src/lib/ModelLexer.mll
@@ -109,7 +109,7 @@ rule token = parse
 	| "stop"           { CT_STOP }
 	| "sync"           { CT_SYNC }
 	| "synclabs"       { CT_SYNCLABS }
-  | "synt_var"       { CT_SYNT_VAR }
+	| "synt_var"       { CT_SYNT_VAR }
 	| "template"       { CT_TEMPLATE }
  	| "then"           { CT_THEN }
 	| "to"             { CT_TO }

diff --git a/src/lib/ModelParser.mly b/src/lib/ModelParser.mly
@@ -88,14 +88,14 @@ let add_parsed_model_to_parsed_model_list parsed_model_list (parsed_model : unex
 let unzip l = List.fold_left
 	add_parsed_model_to_parsed_model_list
 	{
-                unexpanded_controllable_actions  = Unexpanded_parsed_no_controllable_actions;
-                unexpanded_variable_declarations = [];
-                unexpanded_fun_definitions       = [];
-                unexpanded_automata              = [];
-                unexpanded_init_definition       = [];
-                template_definitions             = [];
-                template_calls                   = [];
-                synt_declarations                = [];
+		unexpanded_controllable_actions  = Unexpanded_parsed_no_controllable_actions;
+		unexpanded_variable_declarations = [];
+		unexpanded_fun_definitions       = [];
+		unexpanded_automata              = [];
+		unexpanded_init_definition       = [];
+		template_definitions             = [];
+		template_calls                   = [];
+		synt_declarations                = [];
 	}
 	(List.rev l)
 ;;
@@ -961,7 +961,7 @@ linear_term:
 	| OP_MINUS NAME { Variable (NumConst.minus_one, $2) }
 	| NAME { Variable (NumConst.one, $1) }
 	| LPAREN linear_term RPAREN { $2 }
-  | NAME LSQBRA pos_integer RSQBRA { Variable (NumConst.one, gen_access_id $1 (NumConst.to_bounded_int $3)) }
+	| NAME LSQBRA pos_integer RSQBRA { Variable (NumConst.one, gen_access_id $1 (NumConst.to_bounded_int $3)) }
 ;