diff --git a/config.json b/config.json
index 1263fd69b..1e3ccbdc6 100644
--- a/config.json
+++ b/config.json
@@ -69,7 +69,7 @@
     "sorries": [],
     "skipProofs": false,
     "skipDefEq": true,
-    "replacementStyle": "comment",
+    "replacementStyle": "keep",
     "redundantAlign": true,
     "error2warning" : true,
     "dubiousMsg": false,