From 63fe39a9d0ce842ef13d2736efe31d5661f63829 Mon Sep 17 00:00:00 2001 From: m-davis Date: Sat, 26 Mar 2022 00:49:50 -0500 Subject: Spelling Fixes --- test/Replay/klee-replay/KleeZesti.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Replay/klee-replay') diff --git a/test/Replay/klee-replay/KleeZesti.c b/test/Replay/klee-replay/KleeZesti.c index a6e0cb26..a964b951 100644 --- a/test/Replay/klee-replay/KleeZesti.c +++ b/test/Replay/klee-replay/KleeZesti.c @@ -86,7 +86,7 @@ int main(int argc, char **argv) { } // File sizes get increased to the highest among files, so even B has file size 4. - // This is due to the limitaiton of posix-runtime API + // This is due to the limitation of posix-runtime API if (check_file(argv[5], 4, "ccc") == 0) { // CHECK-DAG: Got B file size printf("Got B file size\n"); -- cgit 1.4.1