Mercurial > urweb
diff src/cjr_print.sml @ 390:519366a76603
num_float
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 10:40:22 -0400 |
parents | acaf9d19fbb7 |
children | ab3177746c78 |
line wrap: on
line diff
--- a/src/cjr_print.sml Tue Oct 21 10:34:07 2008 -0400 +++ b/src/cjr_print.sml Tue Oct 21 10:40:22 2008 -0400 @@ -617,6 +617,7 @@ | EBinop (s, e1, e2) => if Char.isAlpha (String.sub (s, size s - 1)) then box [string s, + string "(", p_exp env e1, string ",", space, @@ -2054,6 +2055,8 @@ newline, string "#include <string.h>", newline, + string "#include <math.h>", + newline, string "#include <postgresql/libpq-fe.h>", newline, newline,