"corrected" Deriviate info doesn't work for us

Mathics3 · Aug 30, 2024 · c41a7d0 · c41a7d0
1 parent 7fc117f
commit c41a7d0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/mathics_scanner/data/operators-additional.yml b/mathics_scanner/data/operators-additional.yml
@@ -7,6 +7,7 @@ Derivative:
   name: Derivative
   actual-precedence: 770
   Precedence: 670  # CSV has 604 which is wrong
+  Precedence-corrected: 670
   Precedence-Function: 670
   WolframLanguageData: 19
   WolframLanguageData-corrected: 19

diff --git a/mathics_scanner/data/operators.yml b/mathics_scanner/data/operators.yml
@@ -1,4 +1,4 @@
-# Autogenerated from operator_csv_to_yaml.py on 2024-08-30 13:14:29.557630
+# Autogenerated from operator_csv_to_yaml.py on 2024-08-30 15:24:03.522525
 # Information about Wolfram Language named operators.
 
 # This information comes from Robert L. Jacobson's Table of Wolfram
@@ -1102,8 +1102,7 @@ Del:
 Derivative:
   name: Derivative
   actual-precedence: 770
-  Precedence-Function: 670
-  precedence: None
+  precedence: 670
   WolframLanguageData: 19
   WolframLanguageData-corrected: 19
   UnicodeCharacters.tr: None