add use Option to string.satyg

gfngfn · Oct 28, 2024 · be66985 · be66985
1 parent fcfc3c2
commit be66985
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib-satysfi/packages/stdlib/stdlib.0.0.1/src/string.satyg b/lib-satysfi/packages/stdlib/stdlib.0.0.1/src/string.satyg
@@ -1,5 +1,6 @@
 use open Basic
 use Int
+use Option
 use List
 
 module String :> sig