Commits

Dmitry Grebeniuk  committed ce22444

typo

  • Participants
  • Parent commits 396c5f1

Comments (0)

Files changed (1)

File Bp_examples.v

 
 
 
-(* Example demonstating "waits" usage. *)
+(* Example demonstrating "waits" usage. *)
 
 
 Module TestNamed.