Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
tableBackend.ml
Find file
Blame
History
Permalink
Removed the options in the [production_defs] table.
· cb955491
POTTIER Francois
authored
Jan 07, 2015
We simply associate an empty right-hand side with the start productions.
cb955491