summaryrefslogtreecommitdiff
path: root/math/boolector/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'math/boolector/Makefile')
-rw-r--r--math/boolector/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/math/boolector/Makefile b/math/boolector/Makefile
index 4862826f2302..acda05b2b523 100644
--- a/math/boolector/Makefile
+++ b/math/boolector/Makefile
@@ -1,4 +1,3 @@
-
PORTNAME= boolector
DISTVERSION= 3.2.1
CATEGORIES= math