• Alexandre Duret-Lutz's avatar
    [buddy] fix some -Wpedantic messages · a2f174f7
    Alexandre Duret-Lutz authored
    * src/bddop.c: Empty macro arguments are undefined ISO C90 and
    ISO C++98.  Use '+' when calling APPLY_SHORTCUTS.
    * src/fdd.c, src/kernel.c: Avoid constructs invalid in C90.
    * src/bddop.c, src/bddx.h, src/kernel.c, src/kernel.h,
    examples/cmilner/cmilner.c: Remove C++ comments.
    a2f174f7
kernel.h 9.08 KB