1 files changed, 2 insertions, 2 deletions
diff --git a/ci b/ci
index 7418f79..c0ab20c 100755
--- a/ci
+++ b/ci
@@ -1,7 +1,7 @@
-# Convenient frontend for quickly evaluating C code
 #!/bin/bash
+# Convenient frontend for quickly evaluating C code
 
-LIBR="stdlib stdio math ieee754 limits"
+LIBR="stdlib stdio math ieee754 limits stdint"
 FLAG="-Wall -lm"
 
 NAME=/tmp/$RANDOM-$RANDOM