Changeset 7a51fb4

Timestamp:

May 13, 2012, 1:17:55 AM (12 years ago)

Author:

GitHub Merge Button <merge-button@github.com>

Parents:

2354e9a (diff), 06470d7 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge 06470d77924a3e883bc40a6c81234f340c45818e into 2354e9a5fabd3efa2825b96557715caa33ede671

File:

• functions.c (modified) (1 diff)

functions.c

@@ -2186 +2186 @@
   f = owl_filter_new(argv[1], argc-2, argv+2);
   if (f == NULL) {
-    owl_function_error("Invalid filter");
+    owl_function_error("Invalid filter: %s", argv[1]);
     return false;
   }