tree da84a6c86f480f5102c098c1eb9e5ca321eb1285
parent d3df512313aeaf847af96adc626d2a4388f000ca
author Luca Cristoforetti <cristofo@fbk.eu> 1585840430 +0200
committer Luca Cristoforetti <cristofo@fbk.eu> 1585840430 +0200

Create a checker for the identifiers names