Commits

Yit Phang Khoo committed db70819

Minor whitespace.

Comments (0)

Files changed (1)

Source/Adapton/PolySA.ml

         let module S = M.Make (struct type t = a let hash = hash let equal = equal end) in
         fun x -> (S.const x, (module S))
 
-    let update_const (type a)  (m, (module S) : a thunk) x =
+    let update_const (type a) (m, (module S) : a thunk) x =
         S.update_const m x
 
-    let thunk (type a) ?(hash=default_hash)  ?(equal=default_equal) : (unit -> a) -> a thunk =
+    let thunk (type a) ?(hash=default_hash) ?(equal=default_equal) : (unit -> a) -> a thunk =
         let module S = M.Make (struct type t = a let hash = hash let equal = equal end) in
         fun f -> (S.thunk f, (module S))