From 3fa03d12d28658694f2bf2085e8634cc267e3f16 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 22 Dec 2023 18:22:02 +0200
Subject: Renamed PTree to ExecutionTree (and similar)

---
 include/klee/Support/OptionCategories.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/Support/OptionCategories.h b/include/klee/Support/OptionCategories.h
index 152241c9..bee6e52a 100644
--- a/include/klee/Support/OptionCategories.h
+++ b/include/klee/Support/OptionCategories.h
@@ -29,7 +29,7 @@ namespace klee {
   extern llvm::cl::OptionCategory MiscCat;
   extern llvm::cl::OptionCategory ModuleCat;
   extern llvm::cl::OptionCategory SearchCat;
-  extern llvm::cl::OptionCategory PTreeCat;
+  extern llvm::cl::OptionCategory ExecTreeCat;
   extern llvm::cl::OptionCategory SeedingCat;
   extern llvm::cl::OptionCategory SolvingCat;
   extern llvm::cl::OptionCategory StatsCat;
-- 
cgit 1.4.1