From 24d109c2cfa96bdfa0f61a68d4fd1c875e157bac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien.villemot@ens.fr>
Date: Thu, 10 Feb 2011 19:01:15 +0100
Subject: [PATCH] Reference manual: fix type of 'kalman_tol' option
---
doc/manual.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/manual.xml b/doc/manual.xml
index 33ffbeb8a3..8657d87e85 100644
--- a/doc/manual.xml
+++ b/doc/manual.xml
@@ -3373,7 +3373,7 @@ end;
<listitem><para>...</para></listitem>
</varlistentry>
<varlistentry>
- <term><option>kalman_tol</option> = <replaceable>INTEGER</replaceable></term>
+ <term><option>kalman_tol</option> = <replaceable>DOUBLE</replaceable></term>
<listitem><para>...</para></listitem>
</varlistentry>
<varlistentry id="filter_covariance" xreflabel="filter_covariance">
--
GitLab