diff options
Diffstat (limited to 'contrib/firstorder')
| -rw-r--r-- | contrib/firstorder/sequent.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/firstorder/sequent.ml b/contrib/firstorder/sequent.ml index e540058f14..fd5972fb74 100644 --- a/contrib/firstorder/sequent.ml +++ b/contrib/firstorder/sequent.ml @@ -281,7 +281,7 @@ let create_with_auto_hints l depth gl= searchtable_map dbname with Not_found-> error ("Firstorder: "^dbname^" : No such Hint database") in - Hint_db.iter g (snd hdb) in + Hint_db.iter g hdb in List.iter h l; !seqref |