From b5d816fbac157492f9754e6259eccfa925698482 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Tue, 17 Jan 2017 12:26:12 +0100 Subject: [PATCH] Typo in doc --- src/core/internal.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/internal.ml b/src/core/internal.ml index e37132dc..0db35e98 100644 --- a/src/core/internal.ml +++ b/src/core/internal.ml @@ -196,7 +196,7 @@ module Make When incrementing activity, we want to be able to iterate over 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 - 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] directly in variables to do so. *) let iter_sub f v =