fix a comment

Daniel Kroening · Daniel Kroening · commit 1050637ad101 · 2018-04-30T20:33:03.000+01:00
diff --git a/src/java_bytecode/jar_file.cpp b/src/java_bytecode/jar_file.cpp
@@ -24,8 +24,7 @@ void jar_filet::initialize_file_index(java_class_loader_limitt &limit)
 }
 
 /// This constructor creates a jar_file object whose contents
-/// are extracted from a memory buffer (byte array) as opposed
-/// to a jar file.
+/// are extracted from a file with given name.
 jar_filet::jar_filet(
   java_class_loader_limitt &limit,
   const std::string &filename):

Original file line number	Diff line number	Diff line change
`@@ -24,8 +24,7 @@ void jar_filet::initialize_file_index(java_class_loader_limitt &limit)`
`24`	`24`	`}`
`25`	`25`
`26`	`26`	`/// This constructor creates a jar_file object whose contents`
`27`		`-/// are extracted from a memory buffer (byte array) as opposed`
`28`		`-/// to a jar file.`
	`27`	`+/// are extracted from a file with given name.`
`29`	`28`	`jar_filet::jar_filet(`
`30`	`29`	`java_class_loader_limitt &limit,`
`31`	`30`	`const std::string &filename):`