diff --git a/gpMgmt/bin/minirepro b/gpMgmt/bin/minirepro index eb1d722e753b6d0f7155ad01f1ba6e92b91e3b3c..56bd0b0adb512bb8a45c0ef6f7818f615a60c0cc 100755 --- a/gpMgmt/bin/minirepro +++ b/gpMgmt/bin/minirepro @@ -225,6 +225,7 @@ def dump_stats(cur, oid_str, f_out): 'INSERT INTO pg_statistic VALUES (\n' \ '{5});\n\n' types = ['smallint', # staattnum + 'boolean', 'real', 'integer', 'real',