diff options
Diffstat (limited to 'backend/PrintCminor.ml')
| -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 330c6c2..619c788 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) -> |