Removed unnecessary default case.
This commit is contained in:
parent
7479b7e308
commit
284b0fcff4
@ -76,8 +76,6 @@ struct TermTranslateVisitor
|
|||||||
|
|
||||||
return std::move(function);
|
return std::move(function);
|
||||||
}
|
}
|
||||||
default:
|
|
||||||
throwErrorAtLocation(term.location, "symbol type not supported", context);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
return std::experimental::nullopt;
|
return std::experimental::nullopt;
|
||||||
|
Loading…
Reference in New Issue
Block a user