From d9c57ef2b714c19e98e78243c459c382225ab7e6 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kn@lri.fr>
Date: Thu, 1 Mar 2012 14:29:42 +0100
Subject: [PATCH] Cosmetic changes.

---
 src/state.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/state.mli b/src/state.mli
index df5d277..5479b54 100644
--- a/src/state.mli
+++ b/src/state.mli
@@ -1,4 +1,4 @@
 
 include Sigs.T with type t = int
 val make : unit -> t
-val dummy : t 
+val dummy : t
-- 
2.17.1