From 523fc765d1363767ffb6970781767dfcdca6892c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 27 Apr 2019 12:29:38 +0200
Subject: Cosmetic in nanoPG.ml: fixing a wrong indentation.

---
 ide/nanoPG.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ide/nanoPG.ml b/ide/nanoPG.ml
index 0cb39c8d75..70f2a71db2 100644
--- a/ide/nanoPG.ml
+++ b/ide/nanoPG.ml
@@ -299,9 +299,9 @@ let find gui (Step(here,konts)) t =
   else
     if k = _c && mod_of t mC && sel_nonempty () then
       ignore(run t gui (Action("Edit","Copy")) empty);
-    let cmp { key; mods } = key = k && mod_of t mods in
-    try `Do (List.find cmp here) with Not_found ->
-    try `Cont (List.find cmp konts).contents with Not_found -> `NotFound
+  let cmp { key; mods } = key = k && mod_of t mods in
+  try `Do (List.find cmp here) with Not_found ->
+  try `Cont (List.find cmp konts).contents with Not_found -> `NotFound
 
 let init w nb ags =
   let gui = { notebook = nb; action_groups = ags } in
-- 
cgit v1.2.3