summaryrefslogtreecommitdiff
path: root/misc.c
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 01:40:24 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-08 01:40:24 +0000
commit58e0109ee9ed3aa6ac2e6b0ed621820118a3d1de (patch)
tree3900945ec27bcd623c823628751031cdb2521ac1 /misc.c
parent2dce50fbd5ef72bbcd51533cf04f8722f8139d6a (diff)
Add clause/2 predicate
Diffstat (limited to 'misc.c')
-rw-r--r--misc.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/misc.c b/misc.c
index 4adfffa..08aa339 100644
--- a/misc.c
+++ b/misc.c
@@ -152,7 +152,6 @@ copyclause(Clause *orig, uvlong *clausenr)
new->clausenr = *clausenr;
else
new->clausenr = orig->clausenr;
- new->public = orig->public;
new->next = nil;
return new;
} \ No newline at end of file