patrick/madagascar
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Fix syntax error

Browse Source
This commit is contained in:
Patrick Lühne 2018-01-25 16:57:05 +01:00
parent ffe5ae8914
commit e960f0d764
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
invariants.c
View File

@ -304,7 +304,7 @@ inline int ctruep(cfma f) {
} }
#endif #endif
inline int truep(fma *f) { int truep(fma *f) {
fmalist *fs; fmalist *fs;
switch(f->t) { switch(f->t) {
case natom: return (onelits[f->a] != 1); case natom: return (onelits[f->a] != 1);