Stefan Brüns ff3bd55892 Fix compilation on Linux - missing include, semicolon ... According to http://man7.org/linux/man-pages/man3/memalign.3.html , memalign() is defined in malloc.h. Also, the line should be terminated with a semicolon. Signed-off-by: Stefan Brüns <stefan.bruens@rwth-aachen.de>		2018-02-06 08:38:37 +01:00
..
Array.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
Array.inl	Merge changes from The Witness.	2015-10-28 23:53:08 -07:00
CMakeLists.txt	Use libexecinfo on FreeBSD as well	2017-02-16 18:20:07 +04:00
Debug.cpp	Minor osx fixes.	2016-08-16 12:31:31 -07:00
Debug.h	Fix build on PPC64LE	2016-06-26 20:09:39 -05:00
DefsGnucDarwin.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
DefsGnucLinux.h	Merge changes from the witness.	2014-11-04 17:49:29 +00:00
DefsGnucWin32.h	Use posh typedefs.	2010-09-20 06:58:20 +00:00
DefsVcWin32.h	Fix build on VC2015	2016-09-19 10:28:03 +02:00
FileSystem.cpp	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
FileSystem.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
ForEach.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
Hash.h	Merge changes from The Witness.	2012-07-20 16:19:03 +00:00
Memory.cpp	Fix compilation on Linux - missing include, semicolon	2018-02-06 08:38:37 +01:00
Memory.h	Fix compilation on Linux - missing include, semicolon	2018-02-06 08:38:37 +01:00
nvcore.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
Ptr.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
RefCounted.h	Merge changes from the-witness.	2010-07-22 10:25:14 +00:00
StdStream.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
Stream.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
StrLib.cpp	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
StrLib.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00
TextWriter.cpp	Merge changes from the witness.	2014-11-04 17:49:29 +00:00
TextWriter.h	Merge changes from the witness.	2014-11-04 17:49:29 +00:00
Timer.cpp	Darwin/Lion fixes.	2012-03-01 03:48:05 +00:00
Timer.h	Fix msvc build.	2012-03-09 07:08:16 +00:00
Utils.h	Merge changes from The Witness.	2018-02-05 18:55:07 -08:00