From: Kim Nguyễn <kn@lri.fr>
Date: Thu, 1 Mar 2012 13:29:42 +0000 (+0100)
Subject: Cosmetic changes.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;ds=sidebyside;h=d9c57ef2b714c19e98e78243c459c382225ab7e6;p=SXSI%2Fxpathcomp.git

Cosmetic changes.
---

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