diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-21 18:57:33 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-21 18:57:33 +0100 |
commit | 4d262face34cb79d478823fd8db32cf02dc187f8 (patch) | |
tree | 820335def3dc6d2fda3b779e8079b0c5fac8620c /src/bourdoncle/BourdoncleAux.ml | |
parent | 323f262727ac3a4b129bdaeaa21083d8daa5184c (diff) | |
download | vericert-4d262face34cb79d478823fd8db32cf02dc187f8.tar.gz vericert-4d262face34cb79d478823fd8db32cf02dc187f8.zip |
Add SMTCoq solver as dependency
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 | [] -> "" |