Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlast
formula.hh
Find file
Blame
History
Permalink
Make it possible to clone const formulae.
· e44f1b89
Alexandre Duret-Lutz
authored
Nov 08, 2009
* src/ltlast/formula.hh, src/ltlast/formula.cc (clone): Declare as const.
e44f1b89