[ fix ] whitespace violation in safe.agda

also building the docs for safe
agda · Aug 8, 2018 · 73dfff1 · 73dfff1
1 parent 3de5757
commit 73dfff1
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -76,6 +76,7 @@ script:
   # detecting basic compilation errors
   - agda -i . -i src/ -c --no-main Everything.agda
   # building the docs
+  - agda -i . -i src/ --html safe.agda
   - agda -i . -i src/ --html index.agda
   # moving everything at the root
   - mv html/* .

diff --git a/travis/safe.agda b/travis/safe.agda
@@ -1,3 +1,2 @@
 module safe where
 
-