aboutsummaryrefslogtreecommitdiff
path: root/source/cstdio.elna
diff options
context:
space:
mode:
Diffstat (limited to 'source/cstdio.elna')
-rw-r--r--source/cstdio.elna1
1 files changed, 1 insertions, 0 deletions
diff --git a/source/cstdio.elna b/source/cstdio.elna
index bf74234..e69d81a 100644
--- a/source/cstdio.elna
+++ b/source/cstdio.elna
@@ -1,6 +1,7 @@
(* This Source Code Form is subject to the terms of the Mozilla Public License,
v. 2.0. If a copy of the MPL was not distributed with this file, You can
obtain one at https://mozilla.org/MPL/2.0/. *)
+module
type
FILE* = extern