From 7d85ee81dcf23e841ef794fa6ba08a076dcdebf0 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 3 Apr 2020 13:16:22 +0100 Subject: Removed the Internal directory from include/klee --- test/regression/2019-09-06-make-const-symbolic.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regression') diff --git a/test/regression/2019-09-06-make-const-symbolic.c b/test/regression/2019-09-06-make-const-symbolic.c index 52d430a5..46e39cdc 100644 --- a/test/regression/2019-09-06-make-const-symbolic.c +++ b/test/regression/2019-09-06-make-const-symbolic.c @@ -12,4 +12,4 @@ int main(int argc, char **argv) { return 0; else return 1; -} \ No newline at end of file +} -- cgit 1.4.1