diff --git a/stdlib/internal/c_stubs.codon b/stdlib/internal/c_stubs.codon
index 21cddd15..1c1a1bad 100644
--- a/stdlib/internal/c_stubs.codon
+++ b/stdlib/internal/c_stubs.codon
@@ -238,6 +238,11 @@ def pow(a: float, b: float) -> float:
 def round(a: float) -> float:
     pass
 
+@pure
+@C
+def nextafter(a: float, b: float) -> float:
+    pass
+
 @pure
 @C
 def acos(a: float) -> float:
@@ -433,6 +438,11 @@ def powf(a: float32, b: float32) -> float32:
 def roundf(a: float32) -> float32:
     pass
 
+@pure
+@C
+def nextafterf(a: float32, b: float32) -> float32:
+    pass
+
 @pure
 @C
 def acosf(a: float32) -> float32: