Include for cint (#89)

cvc5 · Sep 14, 2023 · 5a127db · 5a127db
1 parent bbc1798
commit 5a127db
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/lexer.h b/src/lexer.h
@@ -11,6 +11,7 @@
 #include <string>
 
 #include "token.h"
+#include <cstdint>
 
 struct Location {
   uint32_t line;