Whitespace.

c30ff5f2 · POTTIER Francois · 57c56262 · c30ff5f2
Commit c30ff5f2 authored Feb 16, 2017 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

src/KitFa.ml src/KitFa.ml +1 -0

No files found.
--- a/src/KitFa.ml
+++ b/src/KitFa.ml
@@ -48,6 +48,7 @@ let empty =
  Atom.Set.empty

 class ['self] iter = object (_ : 'self)
+
  inherit [_] free

  val mutable accu = Atom.Set.empty