Skip to content

Commit

Permalink
wip
Browse files Browse the repository at this point in the history
  • Loading branch information
@gares
gares committed Dec 4, 2023
1 parent a97ee8d commit 1fc9043
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion structures.v
View file
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ Global Open Scope HB_scope.
(** This data represents the hierarchy and some other piece of state to
implement the commands of this file *)

Elpi Db hb.db lp:{{
#[interp] Elpi Db hb.db lp:{{

Check warning on line 60 in structures.v

View workflow job for this annotation

GitHub Actions / opam (8.16) 

This command does not support this attribute: interp.

Check warning on line 60 in structures.v

View workflow job for this annotation

GitHub Actions / opam (8.17) 

This command does not support this attribute: interp.

Check warning on line 60 in structures.v

View workflow job for this annotation

GitHub Actions / opam (8.18) 

This command does not support this attribute: interp.

typeabbrev mixinname gref.
typeabbrev classname gref.
Expand Down

0 comments on commit 1fc9043

Please sign in to comment.