fix

Author: SaswatPadhi

.travis.yml

@@ -11,12 +11,8 @@ services:
 install: bash .travis/install.sh
 
 env:
-  - OCAML_VERSION=4.07.0           MIN_REQS_ONLY="true"
-  - OCAML_VERSION=4.07.0+flambda   MIN_REQS_ONLY="true"
-  - OCAML_VERSION=4.07.1
-  - OCAML_VERSION=4.07.1+flambda
-  - OCAML_VERSION=4.08.0
-  - OCAML_VERSION=4.08.0+flambda
+  - OCAML_VERSION=4.08.0           MIN_REQS_ONLY="true"
+  - OCAML_VERSION=4.08.0+flambda   MIN_REQS_ONLY="true"
   - OCAML_VERSION=4.08.1
   - OCAML_VERSION=4.08.1+flambda
   - OCAML_VERSION=4.09.0

.travis/run.sh

@@ -17,9 +17,9 @@ if [ -z "${MIN_REQS_ONLY}" ]; then
     opam install --yes --deps-only --with-test ./LoopInvGen.opam
 else
     opam install --yes alcotest.0.8.0   \
-                       core.v0.12.2     \
+                       core.v0.13.0     \
                        dune.1.6.0       \
-                       ppx_let.v0.12.0
+                       ppx_let.v0.13.0
 fi
 
 opam list