From 557c0112fc1aa98c0da6e8fdef9563111396f0de Mon Sep 17 00:00:00 2001 From: Gautier Hattenberger Date: Wed, 10 Sep 2014 14:31:25 +0200 Subject: [PATCH] [ocaml] uint32 now fits into a Int64 close #831 --- sw/lib/ocaml/pprz.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sw/lib/ocaml/pprz.ml b/sw/lib/ocaml/pprz.ml index c1fcc12f35..7a86919d23 100644 --- a/sw/lib/ocaml/pprz.ml +++ b/sw/lib/ocaml/pprz.ml @@ -400,8 +400,8 @@ let rec sprint_value = fun buf i _type v -> sprint_int8 buf i x; sizeof _type | Scalar "float", Float f -> sprint_float buf i f; sizeof _type | Scalar "double", Float f -> sprint_double buf i f; sizeof _type - | Scalar ("int32"|"uint32"), Int32 x -> sprint_int32 buf i x; sizeof _type - | Scalar ("int64"|"uint64"), Int64 x -> sprint_int64 buf i x; sizeof _type + | Scalar "int32", Int32 x -> sprint_int32 buf i x; sizeof _type + | Scalar ("int64"|"uint64"|"uint32"), Int64 x -> sprint_int64 buf i x; sizeof _type | Scalar "int16", Int x -> sprint_int16 buf i x; sizeof _type | Scalar ("int32" | "uint32"), Int value -> assert (_type <> Scalar "uint32" || value >= 0);