Cosmetic changes.
authorKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:29:42 +0000 (14:29 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:29:42 +0000 (14:29 +0100)
src/state.mli

index df5d277..5479b54 100644 (file)
@@ -1,4 +1,4 @@
 
 include Sigs.T with type t = int
 val make : unit -> t
 
 include Sigs.T with type t = int
 val make : unit -> t
-val dummy : t 
+val dummy : t