aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'lang/twelf/Makefile')
-rw-r--r--lang/twelf/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile
index 8e790e9e6813..97ec56aed0bc 100644
--- a/lang/twelf/Makefile
+++ b/lang/twelf/Makefile
@@ -18,7 +18,6 @@ RUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj
BUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj
WRKSRC= ${WRKDIR}/twelf
-USE_REINPLACE= yes
INFO= twelf
RESTRICTED= "License is currently indeterminate (expected to be GPL)"