X-Git-Url: https://oss.titaniummirror.com/gitweb/?p=tinyos-2.x.git;a=blobdiff_plain;f=tos%2Flib%2Fsafe%2Finclude%2Fdeputy%2Fchecks.h;h=f0582b8642264bd12bed9f6d64dc79fd3d041c97;hp=61f935d936418072afa0386d24da6295396b54f7;hb=e9bfab607e051bae6afb47b44892ce37541d1b44;hpb=adf1de6c009d13b7b52e68535c63b28f59c97400

diff --git a/tos/lib/safe/include/deputy/checks.h b/tos/lib/safe/include/deputy/checks.h
index 61f935d9..f0582b86 100644
--- 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