From 1a5acb4732536e4be288895eb89d139b19aebc94 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 16:41:11 -0400 Subject: New implicit argument handling --- src/source_print.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/source_print.sml') diff --git a/src/source_print.sml b/src/source_print.sml index 324b50d5..f9fc8a53 100644 --- a/src/source_print.sml +++ b/src/source_print.sml @@ -199,7 +199,7 @@ fun p_exp' par (e, _) = string ")"] | EPrim p => Prim.p_t p - | EVar (ss, s) => p_list_sep (string ".") string (ss @ [s]) + | EVar (ss, s, _) => p_list_sep (string ".") string (ss @ [s]) | EApp (e1, e2) => parenIf par (box [p_exp e1, space, p_exp' true e2]) -- cgit v1.2.3