Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] coq hangs on setoid_replace

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coq hangs on setoid_replace


Chronological Thread 
  • From: "John Wiegley" <johnw AT newartisans.com>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] coq hangs on setoid_replace
  • Date: Wed, 17 Dec 2014 20:24:29 -0600
  • Organization: New Artisans LLC

>>>>> Vadim Zaliva
>>>>> <vzaliva AT cmu.edu>
>>>>> writes:

> I am trying to do seemingly straightforward rewriting using 'setoid_replace'
> but this tactics call hangs indefinitely without giving any error
> messages. Are there are any recommended ways to debug/fix this?

Maybe "Set Default Timeout 1" and then see if it fails and tells you why?

John



Archive powered by MHonArc 2.6.18.

Top of Page