Mis-spelling in error message for "predicate"

GaloisInc / daedalus

The Daedalus data description language

BSD 3-Clause "New" or "Revised" License

65 stars 11 forks source link

Open kquick opened 3 months ago

kquick commented 3 months ago

Received the following error message:

  Invalid type
    • Expected a type for a byte preicate
    • Actual type is for a semantic value