From 8e5f68c1a6d921a46bb817fe0a82fca1c3494dde Mon Sep 17 00:00:00 2001 From: xleroy Date: Mon, 7 Jan 2013 10:30:16 +0000 Subject: Update Cminor parser and printer so that the parser can parse the whole Cminor language and can reparse the output of the printer. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2090 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- driver/Interp.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'driver/Interp.ml') diff --git a/driver/Interp.ml b/driver/Interp.ml index 9031042f..63d51a47 100644 --- a/driver/Interp.ml +++ b/driver/Interp.ml @@ -69,12 +69,12 @@ let print_event p = function print_eventval res | Event_vload(chunk, id, ofs, res) -> fprintf p "volatile load %s[&%s%+ld] -> %a" - (PrintCminor.name_of_chunk chunk) + (PrintAST.name_of_chunk chunk) (extern_atom id) (camlint_of_coqint ofs) print_eventval res | Event_vstore(chunk, id, ofs, arg) -> fprintf p "volatile store %s[&%s%+ld] <- %a" - (PrintCminor.name_of_chunk chunk) + (PrintAST.name_of_chunk chunk) (extern_atom id) (camlint_of_coqint ofs) print_eventval arg | Event_annot(text, args) -> -- cgit