1 files changed, 23 insertions, 23 deletions
diff --git a/abstract/value_domain.ml b/abstract/value_domain.ml
index 9cf6d76..da4f481 100644
--- a/abstract/value_domain.ml
+++ b/abstract/value_domain.ml
@@ -1,31 +1,31 @@
 module type VALUE_DOMAIN = sig
-	type t
+    type t
 
-	(* constructors *)
-	val top		: t
-	val bottom	: t
-	val const	: Z.t -> t
-	val rand	: Z.t -> Z.t -> t
+    (* constructors *)
+    val top     : t
+    val bottom  : t
+    val const   : Z.t -> t
+    val rand    : Z.t -> Z.t -> t
 
-	(* order *)
-	val subset	: t -> t -> bool
+    (* order *)
+    val subset  : t -> t -> bool
 
-	(* 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
 
-	(* arithmetic operations *)
-	val neg		: t -> t
-	val add		: t -> t -> t
-	val sub		: t -> t -> t
-	val mul		: t -> t -> t
-	val div		: t -> t -> t
-	val rem		: t -> t -> t
+    (* arithmetic operations *)
+    val neg     : t -> t
+    val add     : t -> t -> t
+    val sub     : t -> t -> t
+    val mul     : t -> t -> t
+    val div     : t -> t -> t
+    val rem     : t -> t -> t
 
-	(* boolean test *)
-	val leq		: t -> t -> t * t	(* For intervals : [a, b] -> [c, d] -> ([a, min b d], [max a c, d]) *)
+    (* boolean test *)
+    val leq     : t -> t -> t * t   (* For intervals : [a, b] -> [c, d] -> ([a, min b d], [max a c, d]) *)
 
-	(* pretty-printing *)
-	val to_string : t -> string
+    (* pretty-printing *)
+    val to_string : t -> string
 end