From 9ea1ac92d4f5b665e15eae918359ecf40dd14cf5 Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@morphism.de>
Date: Tue, 26 Jan 2016 17:22:08 +0000
Subject: [PATCH] Add a little documentation
---
gap/gaptypes.g | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/gap/gaptypes.g b/gap/gaptypes.g
index e325e16..81e87d1 100644
--- a/gap/gaptypes.g
+++ b/gap/gaptypes.g
@@ -1,3 +1,6 @@
+# Load into GAP using Read("gaptypes.g"); and export using
+# GAPTypesToJson("gap_types.json");
+
LoadPackage("json");
GAPFilterToFilterType := function(fid)
@@ -45,7 +48,7 @@ GAPTypesInfo := function()
end;
# Write the graph of type info to JSon file
-GAPTypeToJson := function(file)
+GAPTypesToJson := function(file)
PrintTo(file, GapToJsonString(GAPTypesInfo()));
end;
--
GitLab