misc: todo

aya-prover · Dec 12, 2023 · 41f14d2 · 41f14d2
1 parent bcba9b4
commit 41f14d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/src/main/java/org/aya/terck/CallResolver.java b/base/src/main/java/org/aya/terck/CallResolver.java
@@ -98,7 +98,7 @@ private void fillMatrix(@NotNull Callable callable, @NotNull Def callee, CallMat
         if (attempt == Relation.unk()) {
           yield switch (whnf(term)) {
             case ConCall con -> compare(con, ctor);
-            // TODO[h]: do we need a ShapedFnCall case here? @ice1000
+            // TODO[h]: do we need a RuleReducer.Con case here? @ice1000
             case IntegerTerm lit -> compare(lit, ctor);
             // This is related to the predicativity issue mentioned in #907
             case PAppTerm papp -> {