fixes missing comment end

ArquintL · ArquintL · commit 6255732283de · 2025-03-06T18:05:01.000+01:00
diff --git a/labeledlibrary/crypto.go b/labeledlibrary/crypto.go
@@ -235,6 +235,7 @@ func (l *LabeledLibrary) AttackerDec(ciphertext, sk lib.ByteString, ciphertextT
 	}
 	return
 }
+@*/
 
 //@ requires l.Mem()
 //@ requires acc(lib.Mem(key), 1/16) && acc(lib.Mem(nonce), 1/16)

Original file line number	Diff line number	Diff line change
`@@ -235,6 +235,7 @@ func (l *LabeledLibrary) AttackerDec(ciphertext, sk lib.ByteString, ciphertextT`
`235`	`235`	`}`
`236`	`236`	`return`
`237`	`237`	`}`
	`238`	`+@*/`
`238`	`239`
`239`	`240`	`//@ requires l.Mem()`
`240`	`241`	`//@ requires acc(lib.Mem(key), 1/16) && acc(lib.Mem(nonce), 1/16)`