diff -r 06f204a2f3c2 -r 55534affe445 lib/scripts/ocaml
--- a/lib/scripts/ocaml	Sun Mar 10 15:16:45 2019 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Makarius
-#
-# Invoke ocaml via "opam".
-
-if [ -d "$ISABELLE_OPAM_ROOT" ]
-then
-  isabelle_opam config exec --switch "$ISABELLE_OCAML_VERSION" -- ocaml "$@"
-else
-  echo "Cannot execute ocaml: missing Isabelle OCaml setup" >&2
-  exit 127
-fi