PLT-1345 Removed extra line

IntersectMBO · Mar 17, 2023 · 75753b7 · 75753b7
1 parent 3458e5e
commit 75753b7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/plutus-metatheory/src/Algorithmic.lagda b/plutus-metatheory/src/Algorithmic.lagda
@@ -88,7 +88,6 @@ data _∋_ : (Γ : Ctx Φ) → Φ ⊢Nf⋆ * → Set where
       -------------------
     → Γ ,⋆ K ∋ weakenNf A
 \end{code}
-
 
 Let `x`, `y` range over variables.