summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2012-08-18 21:20:52 -0400
committerOri Bernstein <ori@eigenstate.org>2012-08-18 21:20:52 -0400
commitfbabc93aa114749eb5e995c0ce54cfc10681e6e6 (patch)
tree38c0e5efe2906cc828739d41c05998d59d83e731 /doc
parent0a9b0232617b0038448e679a8bf6ad260c0824a1 (diff)
downloadmc-fbabc93aa114749eb5e995c0ce54cfc10681e6e6.tar.gz
Rephrase the usefile description
Diffstat (limited to 'doc')
-rw-r--r--doc/compiler.txt6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/compiler.txt b/doc/compiler.txt
index fd3c3fe..587a9e2 100644
--- a/doc/compiler.txt
+++ b/doc/compiler.txt
@@ -186,9 +186,9 @@ TABLE OF CONTENTS:
2.6. Usefiles:
- Usefiles use tags that tell us what type of tree to deserialize.
- Because serialized trees are compiler version dependant, so are
- usefiles.
+ Usefiles are more or less files that consist of a single character tag
+ that tells us what type of tree to deserialize. Because serialized
+ trees are compiler version dependant, so are usefiles.
3. FLATTENING: