From 30ff49947e09b016c42ff20382032ed96b086b1c Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Wed, 7 Jan 2015 16:08:53 -0800 Subject: [PATCH] changes --- grammer/README.txt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/grammer/README.txt b/grammer/README.txt index 6ceacda..418c712 100644 --- a/grammer/README.txt +++ b/grammer/README.txt @@ -4,5 +4,4 @@ "util.jj" is used to process some specific strings, such as the declaration of a function with templated types. It is designed to be used as a library funcions. -"spec_compiler.jj" is the real grammer file to parse the text files and extract -structured specifications. +"spec_compiler.jj" is the file to parse the extracted specifications. -- 2.34.1