Re: [creduce-bugs] template-non-type-arg-to-int failed to modify testcase

To: John Regehr <regehr@cs.utah.edu>
Subject: Re: [creduce-bugs] template-non-type-arg-to-int failed to modify testcase
From: Markus Trippelsdorf <markus@trippelsdorf.de>
Date: Thu, 5 Nov 2015 17:08:00 +0100
Cc: creduce-bugs@flux.utah.edu
Dkim-signature: v=1; a=rsa-sha256; c=simple; d=mail.ud10.udmedia.de; h= date:from:to:cc:subject:message-id:references:mime-version :content-type:in-reply-to; s=beta; bh=OQi4S3LoKCoP+GqtC53JIZTm1b R5hZ9Ku13+Hq2UWeQ=; b=DBvkpiO892Yu41tZKMc1HtesR/Q84GwaMHkMXZM5m/ zTHK9lGfXsEkeMLm8/+yaf3uxaRDcHM82FvvpHfx3tckUBe8tgIXoE9kyFymKOz/ 6KxtXE/MxwjsBhTbKBexdA9LQa7jpu6x1nSyFJnqcQ4rze/aoR6d0y+mhk4PJk/n U=
In-reply-to: <563B7C88.3000401@cs.utah.edu>
List-archive: </listarchives/creduce-bugs>
List-help: <mailto:creduce-bugs-request@flux.utah.edu?subject=help>
List-id: C-Reduce Bugs Mailing List <creduce-bugs.flux.utah.edu>
List-post: <mailto:creduce-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <20151105155156.GA325@x4> <563B7C88.3000401@cs.utah.edu>

On 2015.11.05 at 16:58 +0100, John Regehr wrote:
> Ok done, sorry about that.

Thanks for the quick fix.

-- 
Markus

References:
- [creduce-bugs] template-non-type-arg-to-int failed to modify testcase
  - From: Markus Trippelsdorf <markus@trippelsdorf.de>
- Re: [creduce-bugs] template-non-type-arg-to-int failed to modify testcase
  - From: John Regehr <regehr@cs.utah.edu>