removing error, seems to be -

ggerganov · Nov 13, 2023 · a05aa8a · a05aa8a
1 parent 1dddcdb
commit a05aa8a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/common/grammar-parser.cpp b/common/grammar-parser.cpp
@@ -27,7 +27,7 @@ namespace grammar_parser {
     static uint32_t get_symbol_id(parse_state & state, const char * src, size_t len) {
         uint32_t next_id = static_cast<uint32_t>(state.symbol_ids.size());
         auto result = state.symbol_ids.insert(std::make_pair(std::string(src, len), next_id));
-	fprintf(stderr, "added id %s with id %d\n",src,next_id);
+	fprintf(stderr, "added id:%d wit string:|%s|\n",next_id,std::string(src, len).c_str());
         return result.first->second;
     }
 

diff --git a/grammars/ebnf.ebnf b/grammars/ebnf.ebnf
@@ -10,8 +10,7 @@ identifier ::= letter ( letter | digit | "_" )
 #| "\f" | "\b"
 S ::= ( " " | "\n" | "\t" | "\r"  )
 
-terminal ::= "'" character - "'"  ( character - "'" )  "'"
-           #| '"'  character - '"'  ( character - '"' )  '"'
+terminal ::= "'" character  "'"  ( character  "'" )  "'"
 
 terminator ::= (";" | ".")