Merge pull request #89 from nemo83/fix/removing-ref-to-removed-PosixTime

Removed references to PosixTime
aiken-lang · Sep 6, 2024 · fa7519f · fa7519f
2 parents 48f0fa6 + c8adc96
commit fa7519f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/aiken/interval.ak b/lib/aiken/interval.ak
@@ -22,7 +22,7 @@
 ///
 /// ```aiken
 /// // [1; 10]
-/// let i0: Interval<PosixTime> = Interval
+/// let i0: Interval<Int> = Interval
 ///   { lower_bound:
 ///       IntervalBound { bound_type: Finite(1), is_inclusive: True }
 ///   , upper_bound:
@@ -32,7 +32,7 @@
 ///
 /// ```aiken
 /// // (20; infinity)
-/// let i1: Interval<PosixTime> = Interval
+/// let i1: Interval<Int> = Interval
 ///   { lower_bound:
 ///       IntervalBound { bound_type: Finite(20), is_inclusive: False }
 ///   , upper_bound: