From e277028633700c6e4d0b1f9e34199591694927a7 Mon Sep 17 00:00:00 2001
From: Arthur Bit-Monnot <abitmonnot@laas.fr>
Date: Wed, 6 Nov 2019 14:25:19 +0100
Subject: [PATCH] Enable auto-indent on file save

---
 .vscode/settings.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 10f2f4c..9845603 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -2,5 +2,6 @@
     "files.associations": {
         "*.ml": "ocaml",
         "*.mli": "ocaml"
-    }
+    },
+    "editor.formatOnSave": true
 }
\ No newline at end of file