[Hol-checkins] CVS: hol98/src/bool EmitML.sml,1.25,1.26

[Anthony F. <ac...@us...>]

Update of /cvsroot/hol/hol98/src/bool
In directory sc8-pr-cvs5.sourceforge.net:/tmp/cvs-serv9924

Modified Files:
	EmitML.sml 
Log Message:
Bug fix.



Index: EmitML.sml
===================================================================
RCS file: /cvsroot/hol/hol98/src/bool/EmitML.sml,v
retrieving revision 1.25
retrieving revision 1.26
diff -b -C2 -d -r1.25 -r1.26
*** EmitML.sml	24 Oct 2006 04:03:40 -0000	1.25
--- EmitML.sml	2 Dec 2006 00:03:40 -0000	1.26
***************
*** 332,338 ****
        let val (blists,body) = !strip_let_hook tm
            fun keyword1 (l,r) = ((if is_fn_app l then "fun" else "val"),(l,r))
-           fun keyword2 (l,r) = ("and",(l,r))
            fun keyword [] = raise ERR "term_to_ML" "pp_lets"
!             | keyword(h::t) = keyword1(h)::map keyword2 t
            val blist' = flatten (map keyword blists)
            fun pp_binding (k,(l,r)) =
--- 332,337 ----
        let val (blists,body) = !strip_let_hook tm
            fun keyword1 (l,r) = ((if is_fn_app l then "fun" else "val"),(l,r))
            fun keyword [] = raise ERR "term_to_ML" "pp_lets"
!             | keyword l = map keyword1 l
            val blist' = flatten (map keyword blists)
            fun pp_binding (k,(l,r)) =