From 58ea6b0b63d2170391a61e0fe3b1a3ecf3b99fb2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Fri, 13 Aug 2010 17:47:56 +0000 Subject: [PATCH] renaming minisat .C to .cc --- src/prop/minisat/core/{Main.C => Main.cc} | 0 src/prop/minisat/core/{Solver.C => Solver.cc} | 0 src/prop/minisat/simp/{Main.C => Main.cc} | 0 src/prop/minisat/simp/{SimpSolver.C => SimpSolver.cc} | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename src/prop/minisat/core/{Main.C => Main.cc} (100%) rename src/prop/minisat/core/{Solver.C => Solver.cc} (100%) rename src/prop/minisat/simp/{Main.C => Main.cc} (100%) rename src/prop/minisat/simp/{SimpSolver.C => SimpSolver.cc} (100%) diff --git a/src/prop/minisat/core/Main.C b/src/prop/minisat/core/Main.cc similarity index 100% rename from src/prop/minisat/core/Main.C rename to src/prop/minisat/core/Main.cc diff --git a/src/prop/minisat/core/Solver.C b/src/prop/minisat/core/Solver.cc similarity index 100% rename from src/prop/minisat/core/Solver.C rename to src/prop/minisat/core/Solver.cc diff --git a/src/prop/minisat/simp/Main.C b/src/prop/minisat/simp/Main.cc similarity index 100% rename from src/prop/minisat/simp/Main.C rename to src/prop/minisat/simp/Main.cc diff --git a/src/prop/minisat/simp/SimpSolver.C b/src/prop/minisat/simp/SimpSolver.cc similarity index 100% rename from src/prop/minisat/simp/SimpSolver.C rename to src/prop/minisat/simp/SimpSolver.cc -- 2.30.2