typo

UnitTestBot · Nov 15, 2023 · 02bca6b · 02bca6b
1 parent f1c3dc2
commit 02bca6b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/klee/Expr/AlphaBuilder.h b/include/klee/Expr/AlphaBuilder.h
@@ -40,4 +40,4 @@ class AlphaBuilder final : public ExprVisitor {
 
 } // namespace klee
 
-#endif /*KLEE_ALPHA_VERSION_BUILDER_H*/
+#endif /*KLEE_ALPHA_BUILDER_H*/