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

Typo in doc

Browse source
This commit is contained in:
Guillaume Bury 2017-01-17 12:26:12 +01:00
parent a5733c818d
commit b5d816fbac
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

@ -196,7 +196,7 @@ module Make
When incrementing activity, we want to be able to iterate over When incrementing activity, we want to be able to iterate over
all subterms of a formula. However, the function provided by the theory all subterms of a formula. However, the function provided by the theory
may be costly (if it walks a tree-like structure, and does some processing may be costly (if it walks a tree-like structure, and does some processing
to ignore some subterms for instance), so we want to 'cache' to list to ignore some subterms for instance), so we want to 'cache' the list
of subterms of each formula, so we have a field [v_assignable] of subterms of each formula, so we have a field [v_assignable]
directly in variables to do so. *) directly in variables to do so. *)
let iter_sub f v = let iter_sub f v =