removing obsolete templates #58
Annotations
7 warnings
|
examples/array.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
examples/quicksort.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
examples/bubblesort.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
examples/congmath.v#L16
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
examples/hashtab.v#L16
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
examples/union_find.v#L14
Notations "[ seq _ | _ in _ ]" defined at level 0 with arguments
|
|
examples/congprog.v#L16
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
This job succeeded
Loading