--- a/progs/fun/fun.sc	Mon Jan 24 00:00:33 2022 +0000
+++ b/progs/fun/fun.sc	Mon Jan 24 00:14:02 2022 +0000
@@ -170,7 +170,6 @@
 // import ammonite.ops._
 
 // post 2.5.0 ammonite
-import $ivy.`com.lihaoyi::os-lib:0.8.0` 
 import os._
 
 def compile_to_file(prog: List[Decl], class_name: String) : Unit =