1 files changed, 2 insertions, 1 deletions
diff --git a/build.h b/build.h
index b65b45743..964602b44 100644
--- a/build.h
+++ b/build.h
@@ -6,7 +6,8 @@ extern "C" {
 #endif
 
 int build(const char * arg, BTA_t ba, const char * passPhrase,
-	  char * cookie, /*@null@*/ const char * rcfile);
+		char * cookie, /*@null@*/ const char * rcfile)
+	/*@modifies ba->buildAmount, fileSystem @*/;
 
 #ifdef __cplusplus
 }