projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: baf045e) | patch
Fix for systems that do not have the MAP_FILE macro defined.
authorTim King <taking@cs.nyu.edu>
Wed, 24 Oct 2012 21:28:52 +0000 (21:28 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 24 Oct 2012 21:28:52 +0000 (21:28 +0000)
commit203435906c670095b3b753077f09ad334f278bf7
treeb53cd631b7ab984af966f07c8f79a494220834a1tree
parentbaf045ed88c2f72f435547e2de6424992b8c0810commit | diff
Fix for systems that do not have the MAP_FILE macro defined.
src/parser/memory_mapped_input_buffer.cpp diff | blob | history