file permissions: clear stale errors

This commit is contained in:
Kartik K. Agaram 2022-01-16 22:34:21 -08:00
parent 06edd8bda7
commit 5258fbec7c

View File

@ -1408,6 +1408,7 @@ static void edit_file_operations_predicate_body() {
fprintf(out, "%s", file_operations_predicate_body);
fclose(out);
rename(outfilename, "teliva_file_operations_predicate_body");
Previous_error = "";
editNonCode2("teliva_file_operations_predicate_body");
// error handling
assert(trustedL);