matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

indentation

This commit is contained in:
Rudi Grinberg 2018-03-15 14:24:30 +08:00
parent 74a98b9caa
commit 286f93a963
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/scope.mli
View File

@ -12,7 +12,7 @@ val info : t -> Jbuild.Scope_info.t
val libs : t -> Lib.DB.t
(** Scope databases *)
module DB : sig
module DB : sig
type scope = t
type t