eprover: remove redundant version specification

Homebrew · Jul 3, 2017 · 34b7044 · 34b7044
1 parent 9c1a37f
commit 34b7044
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Formula/eprover.rb b/Formula/eprover.rb
@@ -2,7 +2,6 @@ class Eprover < Formula
   desc "Theorem prover for full first-order logic with equality"
   homepage "http://eprover.org"
   url "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_1.9/E.tgz"
-  version "1.9"
   sha256 "c4365661a6a4519b21b895fafe60c6b39b8acadf77a3c42e4d638027f155376e"
 
   bottle do