X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=augeas.ml;fp=augeas.ml;h=fa6c680577fa548dfa921c5ac0ffef695eae5ffb;hb=4064f0ec2e3e65b9a611ff7a9721bd3977a010eb;hp=40833b286458f89a37d9da51f5e4d815f74aa2e6;hpb=eb7b3379f07ff52c849b953b1a38cb2d4c3d43bf;p=ocaml-augeas.git

diff --git a/augeas.ml b/augeas.ml
index 40833b2..fa6c680 100644
--- a/augeas.ml
+++ b/augeas.ml
@@ -26,6 +26,9 @@ type flag =
   | AugSaveBackup
   | AugSaveNewFile
   | AugTypeCheck
+  | AugNoStdinc
+  | AugSaveNoop
+  | AugNoLoad
 
 type path = string