# HG changeset patch
# User haftmann
# Date 1272546043 -7200
# Node ID 8daaa303f90da35505f2abf295b4e54a3ab88960
# Parent  0195ef99407755a220f1d8a89e2b76ec0e5fc9ce
fixed underscore typo

diff -r 0195ef994077 -r 8daaa303f90d src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Thu Apr 29 15:00:42 2010 +0200
+++ b/src/Tools/Code/code_ml.ML	Thu Apr 29 15:00:43 2010 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Tools/code/code_ml.ML_
+(*  Title:      Tools/code/code_ml.ML
     Author:     Florian Haftmann, TU Muenchen
 
 Serializer for SML and OCaml.