- dehypenation involves helena as well

[helm.git] / helm / software / helena / src / complete_rg / crg.ml

diff --git a/helm/software/helena/src/complete_rg/crg.ml b/helm/software/helena/src/complete_rg/crg.ml
index 5a394f4f8372f3411430137b45e3da9f9a61d827..9518ff60bc1889556e03255c43b088afd03af5e2 100644 (file)
--- a/helm/software/helena/src/complete_rg/crg.ml
+++ b/helm/software/helena/src/complete_rg/crg.ml
@@ -10,7 +10,7 @@
       V_______________________________________________________________ *)
 
 (* kernel version: complete, relative, global *)
-(* note          : fragment of complete lambda-delta serving as abstract layer *) 
+(* note          : fragment of complete \lambda\delta serving as abstract layer *) 
 
 module C = Cps
 module E = Entity