Attachment #159499 for bug #49282

Lines 125-130 Link Here

(-)guava3.5/src/leon/src/generate.c (+4 lines)
125	#define CLK_TCK TICK	125	#define CLK_TCK TICK
126	#endif	126	#endif
127		127
		128	#ifndef CLK_TCK
		129	#define CLK_TCK CLOCKS_PER_SEC
		130	#endif
		131
128	#include "errmesg.h"	132	#include "errmesg.h"
129	#include "new.h"	133	#include "new.h"
130	#include "readgrp.h"	134	#include "readgrp.h"

Lines 16-21 Link Here

(-)guava3.5/src/leon/src/inform.c (+4 lines)
16	#define CLK_TCK TICK	16	#define CLK_TCK TICK
17	#endif	17	#endif
18		18
		19	#ifndef CLK_TCK
		20	#define CLK_TCK CLOCKS_PER_SEC
		21	#endif
		22
19	#include "readgrp.h"	23	#include "readgrp.h"
20		24
21	CHECK( inform)	25	CHECK( inform)

Return to bug 49282