[ fix ] missing log option (#1411)

Author: Z-snails

src/Core/Options/Log.idr

@@ -42,6 +42,8 @@ knownTopics = [
     ("builtin.Natural.addTransform", "some documentation of this option"),
     ("builtin.NaturalToInteger", "some documentation of this option"),
     ("builtin.NaturalToInteger.addTransforms", "some documentation of this option"),
+    ("builtin.IntegerToNatural", "some documentation of this option"),
+    ("builtin.IntegerToNatural.addTransforms", "some documentation of this option"),
     ("compile.casetree", "some documentation of this option"),
     ("compiler.inline.eval", "some documentation of this option"),
     ("compiler.refc", "some documentation of this option"),

src/TTImp/ProcessBuiltin.idr

@@ -280,7 +280,7 @@ addIntegerToNat :
     IntToNat ->
     Core ()
 addIntegerToNat fn iToN = do
-    log "builtin.NaturalToInteger.addTransforms" 10
+    log "builtin.IntegerToNatural.addTransforms" 10
         $ "Add %builtin IntegerToNatural transform for " ++ show fn ++ "."
     update Ctxt $ record
         { builtinTransforms.integerToNatFns $= insert fn iToN