On Thu, 3 Apr 2014, Jan Hubicka wrote:

+                     /* Use OTR_TOKEN = INT_MAX as a marker of probably type 
inconsistent
+             /* Use OTR_TOKEN = INT_MAX as a marker of probably type 
inconsistent
+   OTR_TOKEN == INT_MAX is used to mark calls that are provably

Did you mean "provably" instead of "probably" in the first two?

--
Marc Glisse

Reply via email to