Mercurial > urweb

diff src/prim.sig @ 276:ed4af33681d8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch base types to 64-bit versions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:59:27 -0400
parents c0ea24dcb86f
children ffa18975e661
line wrap: on
line diff
--- a/src/prim.sig	Tue Sep 02 14:40:57 2008 -0400
+++ b/src/prim.sig	Tue Sep 02 14:59:27 2008 -0400
@@ -33,6 +33,7 @@
            | String of string
 
     val p_t : t Print.printer
+    val p_t_GCC : t Print.printer
 
     val equal : t * t -> bool