aboutsummaryrefslogtreecommitdiffstats
path: root/src/satd-diminished.c
diff options
context:
space:
mode:
authorMattias Andrée <maandree@member.fsf.org>2015-12-28 22:50:36 +0100
committerMattias Andrée <maandree@member.fsf.org>2015-12-28 22:50:36 +0100
commitc69138adb8c0ea3910f9588b60819ac605bc47d8 (patch)
treed6746e606dd71c9407359c8462999056c233a82a /src/satd-diminished.c
parentdoc (diff)
downloadsat-c69138adb8c0ea3910f9588b60819ac605bc47d8.tar.gz
sat-c69138adb8c0ea3910f9588b60819ac605bc47d8.tar.bz2
sat-c69138adb8c0ea3910f9588b60819ac605bc47d8.tar.xz
typo
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
Diffstat (limited to 'src/satd-diminished.c')
0 files changed, 0 insertions, 0 deletions