File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -36,7 +36,7 @@ let results_exist () =
3636 let r_str = Fpath. to_string r in
3737 Sys. file_exists r_str && Sys. is_directory r_str
3838
39- (* * Module to cache the data for incremental analaysis during a run, before it is stored to disk, as well as the server mode *)
39+ (* * Module to cache the data for incremental analaysis during a run, before it is stored to disk, as well as for the server mode *)
4040module Cache = struct
4141 type t = {
4242 mutable solver_data : Obj .t option ;
@@ -73,7 +73,7 @@ module Cache = struct
7373 let p = Fpath. (d / incremental_data_file_name) in
7474 marshal ! data p
7575
76- (* * Update the some incremental data in the in-memory cache *)
76+ (* * Update the incremental data in the in-memory cache *)
7777 let update_data: type a. a data_query -> a -> unit = fun q d -> match q with
7878 | SolverData -> ! data.solver_data < - Some (Obj. repr d)
7979 | AnalysisData -> ! data.analysis_data < - Some (Obj. repr d)
You can’t perform that action at this time.
0 commit comments