From 9b7fc2bfc0f9a60e1e36032eb255dbeb9c6e1aae Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Fri, 28 Oct 2022 17:33:55 +0300 Subject: [PATCH] Fix indentation (PR #855) --- src/framework/control.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/framework/control.ml b/src/framework/control.ml index 55ba865717..fa2e4e3fee 100644 --- a/src/framework/control.ml +++ b/src/framework/control.ml @@ -581,12 +581,12 @@ struct ; edge = MyCFG.Skip ; local = local ; global = - (fun g -> - try - EQSys.G.spec (GHT.find gh (EQSys.GVar.spec g)) - with Not_found -> - M.warn ~category:MessageCategory.Unsound "Global %a not found during transformation, proceeding with bot." Spec.V.pretty g; - Spec.G.bot ()) + (fun g -> + try + EQSys.G.spec (GHT.find gh (EQSys.GVar.spec g)) + with Not_found -> + M.warn ~category:MessageCategory.Unsound "Global %a not found during transformation, proceeding with bot." Spec.V.pretty g; + Spec.G.bot ()) ; spawn = (fun v d -> failwith "Cannot \"spawn\" in query context.") ; split = (fun d es -> failwith "Cannot \"split\" in query context.") ; sideg = (fun v g -> failwith "Cannot \"split\" in query context.")