[Bittree RTL] Remove leading __ from functions belonging to the bittree
API as they are no longer visible to the code outside of the compile unit of a memory model
Showing
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h 14 additions, 14 deletions...lugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h 8 additions, 12 deletions...ns/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c 22 additions, 22 deletions...e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
Loading
Please register or sign in to comment