| commit | 292f8a3b8b4731bbccc7f26eaef8e2ddc05c4139 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Thu Feb 08 19:07:30 2024 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Thu Feb 08 19:17:08 2024 +0100 |
| tree | b16b12a9fa1cc48361449472424fdcadf1cd77c3 | |
| parent | ab933b8ff702816c25518bdd4eb14c51a40b7088 [diff] [blame] |
Extract Str_Buf_Equal() from ext2 driver
diff --git a/src/filo.ads b/src/filo.ads index 21f1545..e4d559c 100644 --- a/src/filo.ads +++ b/src/filo.ads
@@ -61,4 +61,8 @@ is (Ch = ' ' or (Tab <= Ch and Ch <= Carriage_Return)); + function Equal (Str : String; Buf : Buffer_Type) return Boolean + with + Pre => Str'Length = Buf'Length; + end FILO;