diff options
Diffstat (limited to 'src/jib/jib_util.ml')
| -rw-r--r-- | src/jib/jib_util.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/jib/jib_util.ml b/src/jib/jib_util.ml index 1c2e9530..c98c325c 100644 --- a/src/jib/jib_util.ml +++ b/src/jib/jib_util.ml @@ -295,13 +295,13 @@ let string_of_op = function | Igteq -> "@gteq" | Iadd -> "@iadd" | Isub -> "@isub" - | Unsigned n -> "@unsigned::<" ^ string_of_int n ^ "@>" - | Signed n -> "@signed::<" ^ string_of_int n ^ "@>" - | Zero_extend n -> "@zero_extend::<" ^ string_of_int n ^ "@>" - | Sign_extend n -> "@sign_extend::<" ^ string_of_int n ^ "@>" - | Slice n -> "@slice::<" ^ string_of_int n ^ "@>" - | Sslice n -> "@sslice::<" ^ string_of_int n ^ "@>" - | Replicate n -> "@replicate::<" ^ string_of_int n ^ "@>" + | Unsigned n -> "@unsigned::<" ^ string_of_int n ^ ">" + | Signed n -> "@signed::<" ^ string_of_int n ^ ">" + | Zero_extend n -> "@zero_extend::<" ^ string_of_int n ^ ">" + | Sign_extend n -> "@sign_extend::<" ^ string_of_int n ^ ">" + | Slice n -> "@slice::<" ^ string_of_int n ^ ">" + | Sslice n -> "@sslice::<" ^ string_of_int n ^ ">" + | Replicate n -> "@replicate::<" ^ string_of_int n ^ ">" | Set_slice -> "@set_slice" | Concat -> "@concat" |