- dehypenation involves helena as well

[helm.git] / helm / software / helena / src / basic_rg / brg.ml

diff --git a/helm/software/helena/src/basic_rg/brg.ml b/helm/software/helena/src/basic_rg/brg.ml
index be4e6f9b97269bfb262229981cdae00c9e167c4e..c9b5ee41573edfaa56f9a6cd7384ace307aab9d6 100644 (file)
--- a/helm/software/helena/src/basic_rg/brg.ml
+++ b/helm/software/helena/src/basic_rg/brg.ml
@@ -10,7 +10,7 @@
       V_______________________________________________________________ *)
 
 (* kernel version: basic, relative, global *)
-(* note          : ufficial basic lambda-delta *) 
+(* note          : ufficial basic \lambda\delta *) 
 
 module E = Entity
 module N = Level