From 77df0b0f119fc70624e4b830320a2b3e1034f7b5 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Wed, 21 May 2014 18:07:37 +0200
Subject: Just retab (many lines changed for nothing)

---
 main.ml | 37 +++++++++++++++++++------------------
 1 file changed, 19 insertions(+), 18 deletions(-)

(limited to 'main.ml')

diff --git a/main.ml b/main.ml
index 937180e..7e6279c 100644
--- a/main.ml
+++ b/main.ml
@@ -27,11 +27,12 @@ let const_interp = ref false
 let interv_interp = ref false
 let rel_interp = ref false
 let get_interp () =
-  if !interv_interp
-      then Interp_interv.interpret
-      else if !rel_interp
-        then Interp_rel.interpret
-        else Interp_const.interpret
+    if !interv_interp then
+        Interp_interv.interpret
+    else if !rel_interp then
+        Interp_rel.interpret
+    else
+        Interp_const.interpret
 
 let ifile = ref ""
 let set_var v s = v := s
@@ -39,27 +40,27 @@ let set_var v s = v := s
 let usage = "usage: analyzer [options] file.c"
 
 let options = [
-  "--dump", Arg.Set dump, "Dump program source.";
-  "--const-interp",  Arg.Set const_interp, "Use constant lattice interpreter.";
-  "--interv-interp", Arg.Set interv_interp, "Use interval lattice interpreter.";
-  "--rel-interp", Arg.Set rel_interp, "Use relationnal (Apron) lattice.";
+    "--dump", Arg.Set dump, "Dump program source.";
+    "--const-interp",  Arg.Set const_interp, "Use constant lattice interpreter.";
+    "--interv-interp", Arg.Set interv_interp, "Use interval lattice interpreter.";
+    "--rel-interp", Arg.Set rel_interp, "Use relationnal (Apron) lattice.";
 ]
 
 (* parse and print filename *)
 let doit filename =
-  let prog = File_parser.parse_file filename in
-  if !dump then Abstract_syntax_printer.print_prog Format.std_formatter prog;
-  (get_interp ()) prog
+    let prog = File_parser.parse_file filename in
+    if !dump then Abstract_syntax_printer.print_prog Format.std_formatter prog;
+    (get_interp ()) prog
 
 (* parses arguments to get filename *)
 let main () =
-  Arg.parse options (set_var ifile) usage;
+    Arg.parse options (set_var ifile) usage;
 
-  if !ifile = "" then begin
-    Format.eprintf "No input file...@.";
-    exit 1
-  end;
+    if !ifile = "" then begin
+        Format.eprintf "No input file...@.";
+        exit 1
+    end;
 
-  doit !ifile
+    doit !ifile
 
 let _ = main ()
-- 
cgit v1.2.3