diff options
Diffstat (limited to 'mppa_k1c/abstractbb/Impure/ocaml/ImpIOOracles.ml')
| -rw-r--r-- | mppa_k1c/abstractbb/Impure/ocaml/ImpIOOracles.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/abstractbb/Impure/ocaml/ImpIOOracles.ml b/mppa_k1c/abstractbb/Impure/ocaml/ImpIOOracles.ml index 33c3c842..9e63c12d 100644 --- a/mppa_k1c/abstractbb/Impure/ocaml/ImpIOOracles.ml +++ b/mppa_k1c/abstractbb/Impure/ocaml/ImpIOOracles.ml @@ -74,7 +74,7 @@ let println: pstring -> unit = fun l -> print l; print_newline() let read_line () = - CamlStr (Pervasives.read_line());; + CamlStr (Stdlib.read_line());; exception ImpureFail of pstring;; |