replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

END_FUNCTION is drastic but I would hardly describe it as atomic

This commit is contained in:
martin 2019-03-18 15:27:31 +00:00
parent 2e3b6c8209
commit 9004dfc96a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/goto-programs/goto_program.h
View File

@ -393,7 +393,7 @@ public:
DEPRECATED("use goto_programt::make_atomic_end() instead")
void make_atomic_end() { clear(ATOMIC_END); }
DEPRECATED("use goto_programt::make_atomic_end_function() instead")
DEPRECATED("use goto_programt::make_end_function() instead")
void make_end_function() { clear(END_FUNCTION); }
DEPRECATED("use goto_programt::make_incomplete_goto() instead")