Update canonical_names.v

Author: spitters

interfaces/canonical_names.v

@@ -1,7 +1,7 @@
 Global Generalizable All Variables.
 Global Set Automatic Introduction.
 
-Require Import MathClasses.theory.Streams.
+Require Import MathClasses.theory.CoqStreams.
 Require Export Coq.Classes.Morphisms Coq.Setoids.Setoid Coq.Program.Program Coq.Unicode.Utf8 Coq.Unicode.Utf8_core MathClasses.misc.stdlib_hints.
 
 Definition id {A : Type} (a : A) := a.