fix formatting of docs

[nominatim.git] / utils / update.php

diff --git a/utils/update.php b/utils/update.php
index f5dec537baca2d035669be3384b9a6b33a9de8b5..34d30a4ff20e3f1961609530a68b80d8e1fe1f09 100755 (executable)
--- a/utils/update.php
+++ b/utils/update.php
@@ -178,8 +178,8 @@
        if ($aResult['deduplicate'])
        {
 
-               $pgver = (float) CONST_Postgresql_Version;
-               if ($pgver < 9.3) {
+               if (getPostgresVersion() < 9.3)
+               {
                        fail("ERROR: deduplicate is only currently supported in postgresql 9.3");
                }