We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 836c792 + cd34afd commit 0ca929dCopy full SHA for 0ca929d
1 file changed
src/expression_items/custom_col.js
@@ -10,7 +10,7 @@ module.exports = class CustomCol extends ProofItem {
10
if (Debug.active) console.log('CONSTRUCTOR_CUSTOM_COL', id, this.id);
11
}
12
get degree() {
13
- return 0;
+ return 1;
14
15
getTag() {
16
return 'customcol';
0 commit comments