1 files changed, 5 insertions, 0 deletions
diff --git a/typing/typing.gpr b/typing/typing.gpr
new file mode 100644
index 0000000..fdc5051
--- /dev/null
+++ b/typing/typing.gpr
@@ -0,0 +1,5 @@
+project Typing is
+    for Source_Dirs use ("src");
+    for Object_Dir use "obj";
+    for Main use ("typing.adb");
+end Typing;

diff --git a/typing/typing.gpr b/typing/typing.gpr new file mode 100644 index 0000000..fdc5051 --- /dev/null +++ b/typing/typing.gpr
@@ -0,0 +1,5 @@
	1	project Typing is
	2	for Source_Dirs use ("src");
	3	for Object_Dir use "obj";
	4	for Main use ("typing.adb");
	5	end Typing;