# HG changeset patch
# User haftmann
# Date 1552506279 -3600
# Node ID 4343c1bfa52d63a9a9a2d50361005e27bc129893
# Parent  55534affe44556bdc33ed93e19b5aa2e3a8bbb5d
CONTRIBUTORS

diff -r 55534affe445 -r 4343c1bfa52d CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Mar 10 15:16:45 2019 +0000
+++ b/CONTRIBUTORS	Wed Mar 13 20:44:39 2019 +0100
@@ -11,8 +11,8 @@
   involving the image operator.
 
 * January 2919: Florian Haftmann
-  Renovation of code generation, particularly proper strings for OCaml
-  end export into session data.
+  Renovation of code generation, particularly export into session data
+  and proper strings and proper integers based on zarith for OCaml.
 
 * February 2019: Jeremy Sylvestre
   Formal Laurent Series and overhaul of Formal power series.