diff options
Diffstat (limited to 'backend')
-rw-r--r-- | backend/PrintCminor.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) -> |