Skip to content
  • Alexandre Duret-Lutz's avatar
    * src/Alloc.h: Rename as ... · 7c1ac7bb
    Alexandre Duret-Lutz authored
    * src/ObstackAlloc.h: ... this.  The problem is that alloc.h is a
    system header in g++ < 3.0, and Darwin has a case-insensitive
    filesystem.  System headers that include alloc.h pick the local
    Alloc.h version.
    * BuchiAutomaton.h, Configuration.h, DispUtil.cc,
    ExternalTranslator.h, FormulaRandomizer.h, Graph.h.in,
    LtlFormula.h, Makefile.am, NeverClaimAutomaton.h, PathEvaluator.h,
    ProductAutomaton.h, SccIterator.h, SharedTestData.h,
    StatDisplay.h, StateSpace.h, StateSpaceRandomizer.cc,
    StringUtil.h, TestOperations.h, TestRoundInfo.h, TestStatistics.h,
    UserCommandReader.h, UserCommands.h, main.cc: Adjust includes.
    7c1ac7bb
To find the state of this project's repository at the time of any of these versions, check out the tags.