Bug fix

Dean Wampler · Dean Wampler · commit 60ae73be47a0 · 2021-05-11T22:14:48.000-05:00
diff --git a/src/script/scala/progscala3/typesystem/deptypes/DependentTypes.scala b/src/script/scala/progscala3/typesystem/deptypes/DependentTypes.scala
@@ -1,7 +1,7 @@
 // tag::dtlist[]
 // src/script/scala/progscala3/typesystem/deptypes/DependentTypes.scala
 
-import scala.compiletime.S
+import scala.compiletime.ops.S
 import scala.compiletime.ops.int.*
 
 sealed trait DTList[N <: Int]:                                       // <1>
