From de7c3ec210cb5374bfcd133394fa35f0c7f516ac Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 9 Mar 2012 10:01:06 +0000
Subject: PrintCminor: printing Sskip test/cminor: updating

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1839 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/PrintCminor.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/PrintCminor.ml')

diff --git a/backend/PrintCminor.ml b/backend/PrintCminor.ml
index 330c6c21..619c788b 100644
--- a/backend/PrintCminor.ml
+++ b/backend/PrintCminor.ml
@@ -173,7 +173,7 @@ let rec print_sig p = function
 let rec print_stmt p s =
   match s with
   | Sskip ->
-      fprintf p "/*skip*/;"
+      fprintf p "/*skip*/"
   | Sassign(id, e2) ->
       fprintf p "@[<hv 2>%s =@ %a;@]" (ident_name id) print_expr e2
   | Sstore(chunk, a1, a2) ->
-- 
cgit