diff options
Diffstat (limited to 'src/bdd/reo/reo.h')
| -rw-r--r-- | src/bdd/reo/reo.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/bdd/reo/reo.h b/src/bdd/reo/reo.h index 45667768..9be29f87 100644 --- a/src/bdd/reo/reo.h +++ b/src/bdd/reo/reo.h @@ -27,6 +27,8 @@ extern "C" { #include <stdlib.h> #include "extra.h" +//#pragma warning( disable : 4514 ) + //////////////////////////////////////////////////////////////////////// /// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -91,9 +93,9 @@ struct _reo_plane struct _reo_hash { int Sign; // signature of the current cache operation - unsigned Arg1; // the first argument - unsigned Arg2; // the second argument - unsigned Arg3; // the second argument + reo_unit * Arg1; // the first argument + reo_unit * Arg2; // the second argument + reo_unit * Arg3; // the third argument }; struct _reo_man |