Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgba
tgbaproduct.cc
Find file
Blame
History
Permalink
tgbaproduct: fix segfault
· 67b7b86d
Pierre PARUTTO
authored
Jan 14, 2013
and
Alexandre Duret-Lutz
committed
Jan 14, 2013
* src/tgba/tgbaproduct.cc (transition_annotation): Adapt down cast to new hierarchy.
67b7b86d