From 888371881826cdde49b3d5e5e23893675d77abf3 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Thu, 30 May 2019 18:25:07 +0200 Subject: make endif guard naming consistent --- lib/Core/TimingSolver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Core/TimingSolver.h') diff --git a/lib/Core/TimingSolver.h b/lib/Core/TimingSolver.h index 08ed0de2..6951a3ad 100644 --- a/lib/Core/TimingSolver.h +++ b/lib/Core/TimingSolver.h @@ -70,4 +70,4 @@ namespace klee { } -#endif +#endif /* KLEE_TIMINGSOLVER_H */ -- cgit 1.4.1