ftuong
/
citadelle-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

implement the dynamic definition of C commands 

git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13716 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Frédéric Tuong 2019-03-19 21:41:19 +00:00
parent 115e5fa90a
commit b91ac5ddb6
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
C11-FrontEnd/src/C_Isar.thy
View File

@ -602,9 +602,7 @@ fun err_dup_command name ps =
(* command parsers *)
type command0 = (Symbol_Pos.T list * Symbol_Pos.T list,
C_Token.T)
either -> antiq_stack0 c_parser
type command0 = (Symbol_Pos.T list * Symbol_Pos.T list, C_Token.T) either -> antiq_stack0 c_parser
datatype command_parser =
Parser of command0;