We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6623265 commit ef7d3faCopy full SHA for ef7d3fa
1 file changed
manual/tutorial/otp-ots.md
@@ -208,6 +208,9 @@ The `export as` line gives the two-game pair a single name — `OneTimeSecrecy`
208
// a ciphertext indistinguishable from a uniformly random ciphertext.
209
210
import 'SymEnc.primitive';
211
+// Remember that import uses paths relative to the current file's location,
212
+// so you may need something like '../Schemes/SymEnc.primitive' if you
213
+// move files around to different folders on your computer.
214
215
Game Real(SymEnc E) {
216
E.Ciphertext ENC(E.Message m) {
0 commit comments