Just retab (many lines changed for nothing)

1 files changed, 21 insertions, 21 deletions

diff --git a/abstract/environment_domain.ml b/abstract/environment_domain.ml
index 5c00fbd..404548c 100644
--- a/abstract/environment_domain.ml
+++ b/abstract/environment_domain.ml
@@ -1,33 +1,33 @@
 open Abstract_syntax_tree
 
 module type ENVIRONMENT_DOMAIN = sig
-	type t
+    type t
 
-	(* construction *)
-	val init	: t
-	val bottom	: t
-	val is_bot  : t -> bool
+    (* construction *)
+    val init    : t
+    val bottom  : t
+    val is_bot  : t -> bool
 
-	(* variable management *)
-	val addvar	: t -> id -> t
-	val rmvar	: t -> id -> t
-	val vars	: t -> id list
+    (* variable management *)
+    val addvar  : t -> id -> t
+    val rmvar   : t -> id -> t
+    val vars    : t -> id list
 
-	(* abstract operation *)
-	val assign	: t -> id -> expr ext -> t		(*    S[id <- expr]     *)
-	val compare_leq : t -> expr ext -> expr ext -> t    (*    S[expr <= expr ?] *)
-	val compare_eq : t -> expr ext -> expr ext -> t    (*    S[expr = expr ?] *)
+    (* abstract operation *)
+    val assign  : t -> id -> expr ext -> t      (*    S[id <- expr]     *)
+    val compare_leq : t -> expr ext -> expr ext -> t    (*    S[expr <= expr ?] *)
+    val compare_eq : t -> expr ext -> expr ext -> t    (*    S[expr = expr ?] *)
 
-	(* set-theoretic operations *)
-	val join 	: t -> t -> t		(* union *)
-	val meet	: t -> t -> t		(* intersection *)
-	val widen	: t -> t -> t
+    (* set-theoretic operations *)
+    val join    : t -> t -> t       (* union *)
+    val meet    : t -> t -> t       (* intersection *)
+    val widen   : t -> t -> t
 
-	(* order *)
-	val subset	: t -> t -> bool
+    (* order *)
+    val subset  : t -> t -> bool
 
-	(* pretty-printing *)
-	val var_str	: t -> id list -> string
+    (* pretty-printing *)
+    val var_str : t -> id list -> string
 end