From 8a5defae11364964b6ca47a6da6ae887f7180855 Mon Sep 17 00:00:00 2001
From: Georges Gonthier
Date: Mon, 30 Nov 2015 15:10:00 +0000
Subject: Add missing export

---
 mathcomp/algebra/ssralg.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'mathcomp')

diff --git a/mathcomp/algebra/ssralg.v b/mathcomp/algebra/ssralg.v
index 3bbf850..7d4fdc0 100644
--- a/mathcomp/algebra/ssralg.v
+++ b/mathcomp/algebra/ssralg.v
@@ -3363,6 +3363,7 @@ Notation zmod_closed := zmod_closed.
 Notation smulr_closed := smulr_closed.
 Notation invr_closed := invr_closed.
 Notation divr_closed := divr_closed.
+Notation scaler_closed := scaler_closed.
 Notation linear_closed := linear_closed.
 Notation submod_closed := submod_closed.
 Notation semiring_closed := semiring_closed.
-- 
cgit v1.2.3