Indentation fixes

2018-05-25 16:46:55 +02:00 · 2018-05-25 16:46:55 +02:00 · 2a85c34c67
commit 2a85c34c67
parent f3b0b0b00a
4 changed files with 33 additions and 32 deletions
--- a/src/lib_stdlib/test-ocp-indent.sh
+++ b/src/lib_stdlib/test-ocp-indent.sh
@ -18,6 +18,7 @@ if [ -z "$files" ]; then
 files=` find \( -name _build -or \
                -name .git -or \
                -wholename ./src/environment/v1.ml -or \
+                -name ocplib-json-typed -or \
                -name registerer.ml \) -prune -or \
                \( -name \*.ml -or -name \*.mli \) -print`
 fi