Update essence-feature-stats.yml

conjure-cp · Nov 2, 2023 · 2264d8f · 2264d8f
1 parent 04424fa
commit 2264d8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/essence-feature-stats.yml b/.github/workflows/essence-feature-stats.yml
@@ -16,7 +16,7 @@
  unnameds,strategyQ,Auto,Interactive,strategyA,trailCompact,
  nameGenState,nbExtraGivens,representations,representationsTree,
  originalDomains,trailGeneralised,trailVerbose,trailRewrites,
- mLanguage,language,version,mStatements,Name,Declaration
+ mLanguage,language,version,mStatements,Name,Declaration,Op
 
  jobs:
  build: