From c4da5caf6923dada24d2920a2fda27e7e9b7ac0e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 21 Dec 2019 17:59:00 -0800 Subject: [PATCH] update comment Signed-off-by: Nikolaj Bjorner --- src/math/dd/dd_pdd.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/dd/dd_pdd.cpp b/src/math/dd/dd_pdd.cpp index a5137e097..d9ff062ca 100644 --- a/src/math/dd/dd_pdd.cpp +++ b/src/math/dd/dd_pdd.cpp @@ -299,7 +299,7 @@ namespace dd { } } - // return quotient r, such that lt(q) = lt(p)*r + // return minus quotient -r, such that lt(q) = lt(p)*r // assume lm_divides(p, q) pdd_manager::PDD pdd_manager::lt_quotient(PDD p, PDD q) { SASSERT(lm_divides(p, q));