diff --git a/src/soc2c.ml b/src/soc2c.ml
index 5a42dfe5ac19ed4199f5711b82111d048f7c081d..706ea65514056eb1b8b5704426dedfa2c52d48fc 100644
--- a/src/soc2c.ml
+++ b/src/soc2c.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 24/03/2015 (at 09:38) by Erwan Jahier> *)
+(* Time-stamp: <modified the 24/03/2015 (at 09:41) by Erwan Jahier> *)
 
 
 (* let put (os: out_channel) (fmt:('a, unit, string, unit) format4) : 'a = *)