aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/defintef.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/defintef.spad.pamphlet')
-rw-r--r--src/algebra/defintef.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/defintef.spad.pamphlet b/src/algebra/defintef.spad.pamphlet
index 34eb5e03..fc604038 100644
--- a/src/algebra/defintef.spad.pamphlet
+++ b/src/algebra/defintef.spad.pamphlet
@@ -131,7 +131,7 @@ ElementaryFunctionDefiniteIntegration(R, F): Exports == Implementation where
((w := checkSMP(t, x, k, a, b)) case "failed") or (w::B) => return w
false
(v := isPlus p) case List(P) =>
- n := 0 -- number of summand having a pole
+ n: Z := 0 -- number of summand having a pole
for t in v::List(P) repeat
(w := checkSMP(t, x, k, a, b)) case "failed" => return w
if w::B then n := n + 1