Define *file() syntax for tactic constructors.

[goals.git] / tests / test1.gl

diff --git a/tests/test1.gl b/tests/test1.gl
index fc059d0..afdcc34 100644 (file)
--- a/tests/test1.gl
+++ b/tests/test1.gl
@@ -1,6 +1,6 @@
 # Test.
 
-goal all = : ["file1.o", "file2.o"]
+goal all = : "file1.o", *file("file2.o")
 
 "file1.o" : "file1.c" {
   echo file1.c "->" file1.o