cleanup use of 'memory location' - Githubissues

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

49 stars 8 forks source link

cleanup use of 'memory location' #33

Open davidcok opened 6 years ago

davidcok commented 6 years ago

The term 'memory location' is used inconsistently. Edit appropriately.