X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fencrypted-file.h;h=7add68042d23de14a72c1391f807ccc7b3308dbf;hb=12e972b638e0363225a5b98c4e241ca5fd42e8cb;hp=4a2d6b390a8ef33eb000ceb471f7bbb7740a12cc;hpb=c64c9e72a7040c8b36aa8709848efc5c37b7b72e;p=pspp

diff --git a/src/data/encrypted-file.h b/src/data/encrypted-file.h
index 4a2d6b390a..7add68042d 100644
--- a/src/data/encrypted-file.h
+++ b/src/data/encrypted-file.h
@@ -31,6 +31,4 @@ bool encrypted_file_unlock__ (struct encrypted_file *, const char *password);
 size_t encrypted_file_read (struct encrypted_file *, void *, size_t);
 int encrypted_file_close (struct encrypted_file *);
 
-bool encrypted_file_is_sav (const struct encrypted_file *);
-
 #endif /* encrypted-file.h */