simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-11 21:48:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Remove incorrect tag duplication

Browse source
This commit is contained in:
Guillaume Bury 2017-04-12 19:40:21 +02:00
parent 0fe8ded071
commit 88c122c4a4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/internal.ml
View file

@ -771,7 +771,7 @@ module Make
List.iteri (fun i a -> c.atoms.(i) <- a) atoms; List.iteri (fun i a -> c.atoms.(i) <- a) atoms;
c c
) )
else make_clause ?tag:init.tag (fresh_name ()) atoms (History (c :: history)) else make_clause (fresh_name ()) atoms (History (c :: history))
in in
Log.debugf info "New clause: @[<hov>%a@]" (fun k->k St.pp_clause clause); Log.debugf info "New clause: @[<hov>%a@]" (fun k->k St.pp_clause clause);
match atoms with match atoms with