Merge TinyOS 2.1.1 into master.

[tinyos-2.x.git] / tos / lib / safe / include / deputy / checks.h

diff --git a/tos/lib/safe/include/deputy/checks.h b/tos/lib/safe/include/deputy/checks.h
index 61f935d936418072afa0386d24da6295396b54f7..f0582b8642264bd12bed9f6d64dc79fd3d041c97 100644 (file)
--- a/tos/lib/safe/include/deputy/checks.h
+++ b/tos/lib/safe/include/deputy/checks.h
@@ -50,7 +50,7 @@ extern asmlinkage noreturn
 void deputy_fail_noreturn(__LOCATION__FORMALS);
 
 extern asmlinkage noreturn
-void deputy_fail_noreturn_fast(void);
+void deputy_fail_noreturn_fast(__LOCATION__FORMALS);
 
 /* Search for a NULL starting at e and return its index */
 extern asmlinkage