m

mit-plv · Jan 10, 2025 · 0c095c2 · 0c095c2
1 parent 2cf3ffb
commit 0c095c2
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/compiler/src/compiler/Pipeline.v b/compiler/src/compiler/Pipeline.v
@@ -66,9 +66,9 @@ Section WithWordAndMem.
 
   Record Lang := {
     Program: Type;
-      Valid: Program -> Prop;
-      Leakage: Type;
-      Call(pick_sp: list Leakage -> word)(p: Program)(funcname: string)
+    Valid: Program -> Prop;
+    Leakage: Type;
+    Call(p: Program)(funcname: string)(pick_sp: list Leakage -> word)
         (k: list Leakage)(t: trace)(m: mem)(argvals: list word)(mc: MetricLog)
         (post: list Leakage -> trace -> mem -> list word -> MetricLog -> Prop): Prop;
   }.