diff --git a/main.ml b/main.ml
index 0f15308..8560f2d 100644
--- a/main.ml
+++ b/main.ml
@@ -7,13 +7,13 @@ let fail () =
 (* Parsage des arguments*)
 let filename = ref "" in
 
-let reduce = ref false in
-let alpha = ref false in
+let reduce_option = ref false in
+let alpha_option = ref false in
 let typecheck_option = ref false in
 
 Arg.parse
-    [("-reduce", Arg.Set reduce, "Show the step-by-step reduction of a lambda-term");
-     ("-alpha", Arg.Set alpha, "Check is two lambda-terms separated by '&' are alpha-convertible");
+    [("-reduce", Arg.Set reduce_option, "Show the step-by-step reduction of a lambda-term");
+     ("-alpha", Arg.Set alpha_option, "Check is two lambda-terms separated by '&' are alpha-convertible");
      ("-typecheck", Arg.Set typecheck_option, "Check if a lambda term has a given type")]
     (fun s -> filename := s)
     "The available options are:";