about summary refs log tree commit diff homepage
path: root/include/klee/util/ExprSMTLIBPrinter.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/klee/util/ExprSMTLIBPrinter.h')
-rw-r--r--include/klee/util/ExprSMTLIBPrinter.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/util/ExprSMTLIBPrinter.h b/include/klee/util/ExprSMTLIBPrinter.h
index e90a49f1..cf5df1c5 100644
--- a/include/klee/util/ExprSMTLIBPrinter.h
+++ b/include/klee/util/ExprSMTLIBPrinter.h
@@ -383,4 +383,4 @@ private:
 };
 }
 
-#endif
+#endif /* KLEE_EXPRSMTLIBPRINTER_H */