From d70387582115db46d3592ebd5ff623bec5159df4 Mon Sep 17 00:00:00 2001
From: david <david@e0a8ed71-7df4-0310-8962-fdc924857419>
Date: Sun, 20 Dec 2009 03:29:35 +0000
Subject: [PATCH] Use a list instead of a vector for ScriptResults; it's 8
 bytes instead of 12.

---
 nse_main.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nse_main.h b/nse_main.h
index bc5fdde89..f2a1c61bf 100644
--- a/nse_main.h
+++ b/nse_main.h
@@ -25,7 +25,7 @@ class ScriptResult
     std::string get_id (void) const;
 };
 
-typedef std::vector<ScriptResult> ScriptResults;
+typedef std::list<ScriptResult> ScriptResults;
 
 class Target;