diff --git a/Modules/Signatures/BindingSig.v b/Modules/Signatures/BindingSig.v
index 73ee944..0218744 100644
--- a/Modules/Signatures/BindingSig.v
+++ b/Modules/Signatures/BindingSig.v
@@ -22,7 +22,6 @@ Require Import UniMath.Foundations.PartD.
 Require Import UniMath.Foundations.Propositions.
 Require Import UniMath.Foundations.Sets.
 Require Import UniMath.CategoryTheory.Limits.BinCoproducts.
-(* Require Import UniMath.SubstitutionSystems.FromBindingSigsToMonads_Summary. *)
 Require Import UniMath.SubstitutionSystems.BindingSigToMonad.
 Require Import UniMath.SubstitutionSystems.Signatures.
 Require Import UniMath.CategoryTheory.Core.Prelude.