diff options
Diffstat (limited to 'src/bourdoncle/BourdoncleAux.ml')
-rw-r--r-- | src/bourdoncle/BourdoncleAux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bourdoncle/BourdoncleAux.ml b/src/bourdoncle/BourdoncleAux.ml index 1ea4de6..932bb18 100644 --- a/src/bourdoncle/BourdoncleAux.ml +++ b/src/bourdoncle/BourdoncleAux.ml @@ -20,7 +20,7 @@ let positive_of_int n = P.of_int (n+1) (* Functions copied from SliceToString to avoid mutual inclusion *) let nodeToString (p : P.t) : string = - Int.to_string (P.to_int p) + string_of_int (P.to_int p) let rec cleanListToString' (aToString: 'a -> string) (l : 'a list) = match l with | [] -> "" |