remove now irrelevant comment

zth · zth · commit 98fe41a55bf9 · 2024-06-04T09:04:30.000+02:00
diff --git a/analysis/src/Cache.ml b/analysis/src/Cache.ml
@@ -25,7 +25,6 @@ let deleteCache filename = try Sys.remove filename with _ -> ()
 
 let targetFileFromLibBs libBs = Filename.concat libBs ".project-files-cache"
 
-(* TODO: Fix the potential infinite loop here *)
 let cacheProject (package : package) =
   let cached =
     {

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,6 @@ let deleteCache filename = try Sys.remove filename with _ -> ()`
`25`	`25`
`26`	`26`	`let targetFileFromLibBs libBs = Filename.concat libBs ".project-files-cache"`
`27`	`27`
`28`		`-(* TODO: Fix the potential infinite loop here *)`
`29`	`28`	`let cacheProject (package : package) =`
`30`	`29`	`let cached =`
`31`	`30`	`{`