Add API: set-wrappid-path.

[wrappi.git] / APIs / off_t.api

diff --git a/APIs/off_t.api b/APIs/off_t.api
index 1f8e7a7..e82a6b1 100644 (file)
--- a/APIs/off_t.api
+++ b/APIs/off_t.api
@@ -1,2 +1,19 @@
-(* XXX preconditions: >= 0 *)
-typedef int off_t
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
+typedef uint64 off_t