The Coq mailing list

[Laurent Thery <Laurent.Thery AT inria.fr>]

Hi,

when running n homemade Ltac tactic, the tactic run smoothly but I get 
the following message

Future: no fix_exn.

You have probably created a Future.computation from a value without 
passing the ~fix_exn argument.  You probably want to chain with an 
already existing future instead.

What does this message mean?
it seems relative to some backtrack I do with first [...|...|...]).
How can I get rid of it?


--
Laurent