compatibility with safe-strings (ocaml >= 4.06.0)

The parser for zchaff certificates now uses Bytes instead of Strings.

This has been tested against:
- ocaml 4.02.3 + coq 8.6.1
- ocaml 4.02.3 + native-coq trunk
- ocaml 4.05.0 + coq 8.6.1
- ocaml 4.05.0 + native-coq trunk
- ocaml 4.07.1 + native-coq trunk

ocaml 4.07.1 with coq 8.6.1 can not be tested since coq 8.6.1 requires
ocaml < 4.06.0.

Newer versions of coq (8.7, 8.8) have not been tested either since
smtcoq has not been ported to these versions yet.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/zchaff/satParser.mli b/src/zchaff/satParser.mli
index ad5385b..c2fa020 100644
--- a/src/zchaff/satParser.mli
+++ b/src/zchaff/satParser.mli
@@ -1,5 +1,5 @@
 type lex_buff = {
-  buff : string;
+  buff : bytes;
   mutable curr_char : int;
   mutable buff_end : int;
   in_ch : in_channel;