diff --git a/src/tgbaparse/tgbaparse.yy b/src/tgbaparse/tgbaparse.yy index 64201c1ea..2459fde6c 100644 --- a/src/tgbaparse/tgbaparse.yy +++ b/src/tgbaparse/tgbaparse.yy @@ -232,7 +232,7 @@ namespace spot } formula_cache fcache; tgba_digraph* result = new tgba_digraph(dict); - auto* namer = result->create_namer(); + auto namer = result->create_namer(); spot::acc_mapper acc_map(result, envacc); tgbayy::parser parser(error_list, env, acc_map, result, namer, fcache); parser.set_debug_level(debug);