NuSMV/code/nusmv/core/utils/utils_msvc.h File Reference

Go to the source code of this file.

Functions
int	Utils_msvc_files_are_the_same (const char *fname1, const char *fname2)
	Code that need including windows.h, specific and compiled only with MSVC.

---

Function Documentation

int Utils_msvc_files_are_the_same	(	const char *	fname1,
		const char *	fname2
	)

Code that need including windows.h, specific and compiled only with MSVC.

Author:

Roberto Cavada

windows.h exports symbols that clash with some of the one exported by symbols.h and defs.h. In this file none of those files are imported, only windows.h to separate clearly the two namespaces.