X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2Ffunctions.lua;h=e6935fb5cc3c924588a4d247bdf1ae45b26b53f0;hb=c55226c2a9536b1483f578192bc79d317f7b1971;hp=d3098853026fb341d26cefb76da03d72de973ed6;hpb=303202bdb889e90139d005ee7a0fd43c2081235f;p=helm.git

diff --git a/matita/scripts/functions.lua b/matita/scripts/functions.lua
index d30988530..e6935fb5c 100755
--- a/matita/scripts/functions.lua
+++ b/matita/scripts/functions.lua
@@ -1,7 +1,7 @@
 #!/usr/bin/lua5.1
 
 local tool_re = "^([%w%.]+)"
-local test_re = "([%w%./_]+)"
+local test_re = "([%w%./_-]+)"
 local rc_re = string.char(27).."%[%d+;%d+m([%a]+)"..string.char(27).."%[0m"
 local time_re = "(%d+m%d+%.%d+s)"
 local mark_re = "(%d+)"