diff rdf/PluginRDFIndexer.h @ 710:773f228f080d library_integration

Changed ISINF in system/System.h for win32 compilation: #define ISINF std::isinf //mathieub: replace with _isinf for osx compilation
author mathieub <mathieu.barthet@eecs.qmul.ac.uk>
date Mon, 10 Oct 2011 17:27:08 +0100
parents e340b2fb9471
children c789deb83bd4
line wrap: on
line diff