diff --git a/src/muz/base/fp_params.pyg b/src/muz/base/fp_params.pyg
index 57a264768..2dd4cea3f 100644
--- a/src/muz/base/fp_params.pyg
+++ b/src/muz/base/fp_params.pyg
@@ -3,6 +3,7 @@ def_module_params('fp',
                   export=True,
                   params=(('engine', SYMBOL, 'auto-config',
                            'Select: auto-config, datalog, bmc, spacer'),
+                          ('rlimit', UINT, 0, "deterministic resource limit (0 means no limit)"),
                           ('datalog.default_table', SYMBOL, 'sparse',
                            'default table implementation: sparse, hashtable, bitvector, interval'),
                           ('datalog.default_relation', SYMBOL, 'pentagon',