Commits

Dmitry Grebeniuk  committed 522d562

doc/bugs

  • Participants
  • Parent commits 9be0e7a

Comments (0)

Files changed (1)

 
 
 
+  'waits.' won't show breakpoint in beta-position when there are
+more than 12 arguments between function and breakpoints.  It can
+be easily fixed, look at "waits_beta_loop" code in Breakpoints.v.
+Why it happens?  Author doesn't know.  Take a look at discussion
+in coq-club:
+
+        https://sympa.inria.fr/sympa/arc/coq-club/2013-03/msg00066.html
+
+
+
     Authors.
 
   Code: