search

ptroja / spark-navigation

Robot navigation algorithms implemented in SPARK
11 stars 4 forks source link

conflicting files for unit nddConst #2

Open yannickmoy opened 10 years ago

yannickmoy commented 10 years ago

You have two files defining unit nddConst in nd/openrobots/ada: nddconst.ads and nddConst.ads. Although I'm on a case insensitive file system, it seems to have confused git, which is how I noticed it. I suggest keeping only nddconst.ads, which respects the default naming scheme in GNAT.

ptroja commented 10 years ago

Thanks for spotting. The file with uppercase letter is now removed. (The while nd/openrobots/ folder is a relict of a failed verification attempt and is kept only for reference.)