From e480ed0d9242f2e505cf28e175262c841bc470c2 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Oct 2006 12:15:00 +0000 Subject: [PATCH] Regular expression fixed to allow '-' into test names. --- matita/scripts/functions.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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+)" -- 2.39.2