remove another ocaml warning (runtimeverification#479)

dwightguth · web-flow · commit a45b6eeb71c8 · 2019-05-15T19:18:02.000-05:00
* remove another ocaml warning

* better fix for deploy failure
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -368,7 +368,7 @@ pipeline {
           eval `opam config env`
           . $HOME/.cargo/env
           echo 'Deploying K...'
-          hash -r
+          mvn clean
           mvn deploy -DskipKTest -Dcheckstyle.skip # TODO: fix checkstyle bug
           COMMIT=$(git rev-parse --short HEAD)
           DESCRIPTION='This is the nightly release of the K framework. To install, download the appropriate binary package and install using your package manager. You can install a debian package via `sudo apt-get install ./kframework_5.0.0_amd64_$ID.deb` for the appropriate version codename $ID. On Debian Stretch, you also must first enable stretch-backports by running `sudo echo \\"deb http://ftp.debian.org/debian stretch-backports main\\" > /etc/apt/sources.list.d/stretch-backports.list; sudo apt-get update`. You can install on Arch Linux using `sudo pacman -S ./kframework-5.0.0-1-x86_64.pkg.tar.xz`. If your OS is not supported, you can download and extract the \\"Platform-Independent K binary\\", and follow the instructions in INSTALL.md within the target directory. Note however that this will not support the Haskell or LLVM Backends. On Windows, start by installing [Windows Subsystem for Linux](https://docs.microsoft.com/en-us/windows/wsl/install-win10) with Ubuntu (or an Ubuntu VM), after which you can install like Ubuntu. K requires gcc and other Linux libraries to run, and building on native Windows, Cygwin, or MINGW is not supported.'
diff --git a/k-distribution/include/ocaml/run.ml b/k-distribution/include/ocaml/run.ml
@@ -1,7 +1,6 @@
 open Constants
 open Constants.K
 open Prelude
-open Hooks
 
 let split_config (config: k) : k * k list =
   let module Def = (val Plugin.get () : Plugin.Definition) in
